genode/repos/os/src/drivers
Alexander Boettcher e6850359e1 rtc: be less verbose
Issue #1296
2014-11-20 17:09:42 +01:00
..
acpi acpi: fix skipping over parameters of devices 2014-09-11 10:23:38 +02:00
ahci ahci: ignore spurious interrupts 2014-10-10 13:02:31 +02:00
atapi Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
audio_out/linux Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
framebuffer rpi: add buffered mode to framebuffer driver 2014-11-12 14:44:17 +01:00
gpio gpio_drv: prevent copy of non-copyable objects 2014-06-06 14:54:32 +02:00
input ps2_drv: read configuration before self tests 2014-10-10 13:02:30 +02:00
nic nic: log errors in base-linux nic_drv 2014-06-26 10:57:25 +02:00
pci base: introduce caching attributes (fix #1184) 2014-06-26 10:57:26 +02:00
platform Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
rtc/x86 rtc: be less verbose 2014-11-20 17:09:42 +01:00
sd_card base: introduce caching attributes (fix #1184) 2014-06-26 10:57:26 +02:00
timer nova: refine the timer delay heuristic 2014-11-12 14:49:42 +01:00
uart Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00