genode/os/src/drivers
Alexander Boettcher 861bbc81a3 run: check size of reported disc in part_blk
Triggers bug if LBA48 mode is used.

Issue #761
2013-07-11 12:40:19 +02:00
..
acpi Coding style fixes 2013-03-23 13:37:57 +01:00
ahci ahci & exynos5: adjust ouput format in ahci_bench 2013-06-28 17:23:31 +02:00
atapi run: check size of reported disc in part_blk 2013-07-11 12:40:19 +02:00
audio_out/linux Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
framebuffer Don't abort when reading config in OMAP4 fb driver 2013-06-12 11:35:12 +02:00
gpio Simplify GPIO session interface (fix #707) 2013-05-10 11:16:12 +02:00
input Implement input driver for i.MX53 tablet (fix #724) 2013-05-10 11:16:13 +02:00
nic Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
pci acpi: Adjust device_pd quota for 64bit machines 2013-03-22 12:45:31 +01:00
platform Add regulators for EHCI controller on Arndale 2013-06-25 14:36:57 +02:00
rtc/x86 Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
sd_card Fix coding style in regulator interface (fix #777) 2013-06-25 11:10:59 +02:00
timer hw_arndale: userland timer driver 2013-05-22 18:32:05 +02:00
uart Add print-only dummy UART driver for Exynos5 SoC 2013-06-12 11:35:12 +02:00