genode/repos/os/src/drivers
Norman Feske 65d72fb07a drivers/gpu/intel: upgrade platform session on demand 2019-11-19 14:54:13 +01:00
..
acpi smbios.h: move to os/include/smbios 2019-11-19 14:54:12 +01:00
ahci os: name ahci_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
audio/spec/linux timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
framebuffer os: name fb_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
gpio/spec os: name gpio_drv unambigously (ref #2190) 2019-05-16 12:52:59 +02:00
gpu/intel drivers/gpu/intel: upgrade platform session on demand 2019-11-19 14:54:13 +01:00
input ps2_drv: wait longer for ACK after RESET command 2019-08-13 12:02:03 +02:00
nic Fix ram session quota accounting in lan9118 2019-11-19 14:23:56 +01:00
nvme nvme_drv: only set the first INTMS bit on reset 2019-06-13 12:17:31 +02:00
platform/spec platform/x86: support 64-bit base address registers 2019-11-19 14:23:54 +01:00
rtc rtc_drv: implement set signal handling 2019-08-21 12:37:01 +02:00
sd_card os: name sd_card_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
uart os: rename uart_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
usb_block usb_block: support iomega zip drives 2019-08-21 12:36:59 +02:00