genode/repos/os/src/drivers
Christian Helmuth 3161daacd7 platform_drv: use Expanding_reporter for pci report
If the number of PCI buses grows (seen with VMware player) the default
report size is exhausted quickly.
2018-06-29 10:44:56 +02:00
..
acpi platform_drv: skip assign device if iommu missing 2018-05-30 13:36:18 +02:00
ahci ahci: enable pci config command memory access 2018-02-09 13:34:18 +01:00
audio/spec/linux Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
framebuffer os: new Input::Event representation 2018-05-03 15:31:25 +02:00
gpio/spec gpio_drv: mask IRQ until it is acknowledged 2018-04-19 12:38:24 +02:00
gpu/intel gpu: the Intel multiplexer is only for x86_64 2018-01-17 12:14:43 +01:00
input os: new Input::Event representation 2018-05-03 15:31:25 +02:00
nic/spec Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
nvme nvme_drv: add driver for NVMe storage devices 2018-04-19 12:38:22 +02:00
platform/spec platform_drv: use Expanding_reporter for pci report 2018-06-29 10:44:56 +02:00
rtc/spec/x86 Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
sd_card Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
timer nova: abandon hypervisor_info_page ROM 2018-03-08 14:24:05 +01:00
uart terminal session: propagate resize events 2018-02-14 20:41:03 +01:00
usb_block usb_block_drv: don't select alternate interface setting 2018-06-12 12:11:51 +02:00