genode/repos/os/src/drivers
2016-06-28 11:08:13 +02:00
..
acpi acpi: transition to the new base API 2016-06-28 11:08:01 +02:00
ahci ahci: transition to the new base API 2016-06-28 11:08:13 +02:00
audio/spec/linux linux/audio: use Server framework 2016-02-26 11:36:52 +01:00
framebuffer/spec uniform XML boolean attribute access 2016-06-22 12:21:42 +02:00
gpio/spec Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
input uniform XML boolean attribute access 2016-06-22 12:21:42 +02:00
nic os: packets without playload in packet stream 2016-06-04 13:45:26 +02:00
platform/spec platform_drv: sync startup between acpica 2016-06-22 12:21:42 +02:00
rtc/spec/x86 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
sd_card sd_card: generalise RPi sd card driver 2016-04-11 12:12:23 +02:00
timer hw: use kernel timer for timer driver 2016-05-26 15:54:15 +02:00
uart uniform XML boolean attribute access 2016-06-22 12:21:42 +02:00
usb_block usb_block: transition to the new base API 2016-06-28 11:06:58 +02:00