genode/os/src/drivers
2012-08-22 09:51:26 +02:00
..
acpi ACPI: Fix offsets when mapping I/O mem 2012-08-22 09:51:26 +02:00
ahci Add x86_32 requirement to AHCI and ACPI drivers 2012-03-16 14:53:56 +01:00
atapi ATAPI driver support for re-opening sessions 2012-01-25 12:58:41 +01:00
audio_out/linux Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
framebuffer Add bitfield polling support to MMIO framework 2012-07-09 15:07:32 +02:00
input Qt-based media player 2012-05-29 13:55:00 +02:00
nic Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
pci Increase stack size of entry points 2012-05-09 20:55:48 +02:00
platform/gta01 Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
rtc/x86 Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
sd_card Add write operation to OMAP4 SD-card benchmark 2012-07-26 19:11:40 +02:00
timer NOVA: allocate stack size depending on word size 2012-08-09 11:09:41 +02:00
uart Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00