genode/os/src/drivers
Martin Stein 4196b9bc5c fb & exynos5: avoid USB HID problems with FOC
USB HID gets stuck due to strange kernel error
as HDMI starts simulatnously. This workaround
delays HDMI init by a second (only in case we
build for Exynos5 & FOC with USB) to let
scenarious like demo get their USB HID started
without much CPU load.

ref #796
2013-10-22 08:00:15 +02:00
..
acpi acpi: parse RMRR structures and print DMA regions 2013-08-30 13:34:14 +02:00
ahci ahci & exynos5: adjust ouput format in ahci_bench 2013-06-28 17:23:31 +02:00
atapi base: do not allow unnamed threads 2013-10-22 08:00:07 +02:00
audio_out/linux Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
framebuffer fb & exynos5: avoid USB HID problems with FOC 2013-10-22 08:00:15 +02:00
gpio i.MX53: add config lib to GPIO driver (fix #915) 2013-10-22 08:00:14 +02:00
input i.MX53 tablet: handle >1 button events concurrently 2013-10-22 08:00:14 +02:00
nic Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
pci os: Move Genode::Config into 'config' library 2013-09-23 14:25:58 +02:00
platform platform_drv & exynos5: provide HDMI switches 2013-10-22 08:00:15 +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 base: do not allow unnamed threads 2013-10-22 08:00:07 +02:00
uart base: do not allow unnamed threads 2013-10-22 08:00:07 +02:00