genode/repos/os/src/drivers
Martin Stein 2b021ec54b sd_card & imx53: simplify IRQ handler
Less switch cases.

Ref #1497
2015-11-29 18:17:03 +01:00
..
acpi acpi - report rmrr via acpi report rom 2015-11-18 12:22:08 +01:00
ahci x86: support dynamic upgrades for platform driver 2015-11-29 18:17:02 +01:00
audio/spec/linux Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
framebuffer/spec fb_sdl: check for X11 / prevent invalid-event flood 2015-11-04 14:09:28 +01:00
gpio/spec disabling verbose in gpio driver 2015-10-09 16:37:22 +02:00
input ps2: support verbose config parameter 2015-11-27 12:18:51 +01:00
nic/spec nic session: fix quota check 2015-10-09 16:38:48 +02:00
platform/spec x86: support dynamic upgrades for platform driver 2015-11-29 18:17:02 +01:00
rtc/spec/x86 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
sd_card sd_card & imx53: simplify IRQ handler 2015-11-29 18:17:03 +01:00
timer Consider byte offset in Attached_io_mem_dataspace 2015-11-18 12:22:07 +01:00
uart Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00