genode/os/src/drivers
Alexander Boettcher 1eb3f13484 pit: no lock required in pit anymore
timer service calls platform timer nowadays solely from the vary same thread
 - the entrypoint of the timer service

Issue #1106
2014-04-01 16:42:37 +02:00
..
acpi acpi: print RMRR region (not just base) 2013-12-09 10:49:16 +01:00
ahci block: prevent from dereferencing invalid pointers 2014-02-25 14:58:02 +01:00
atapi block: prevent from dereferencing invalid pointers 2014-02-25 14:58:02 +01:00
audio_out/linux Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
framebuffer Simplify Framebuffer::Session interface 2014-03-14 13:17:35 +01:00
gpio pandaboard: prevent copy of non-copyable objects 2014-03-18 14:24:55 +01:00
input imx53: add missing break to input driver (fix #957) 2013-11-25 09:46:08 +01:00
nic Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
pci pci_session: add free_dma_buffer call (Fix #1037) 2014-01-30 10:05:44 +01:00
platform rpi: Framebuffer and platform drivers 2013-11-25 09:46:09 +01:00
rtc/x86 Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
sd_card block: prevent from dereferencing invalid pointers 2014-02-25 14:58:02 +01:00
timer pit: no lock required in pit anymore 2014-04-01 16:42:37 +02:00
uart uart/exynos5: Add missing author 2014-03-18 16:29:37 +01:00