acpi
|
acpi: parse RMRR structures and print DMA regions
|
2013-08-30 13:34:14 +02:00 |
ahci
|
block: let generic driver API work asynchronously
|
2013-12-04 11:14:18 +01:00 |
atapi
|
block: let generic driver API work asynchronously
|
2013-12-04 11:14:18 +01:00 |
gpio
|
omap4 & gpio_drv: add config lib
|
2013-11-14 19:56:39 +01:00 |
input
|
imx53: add missing break to input driver (fix #957)
|
2013-11-25 09:46:08 +01:00 |
pci
|
os: Move Genode::Config into 'config' library
|
2013-09-23 14:25:58 +02:00 |
platform
|
rpi: Framebuffer and platform drivers
|
2013-11-25 09:46:09 +01:00 |
timer
|
rpi: centralize spec of interrupt names
|
2013-11-14 19:56:39 +01:00 |
uart
|
Follow-up fix for "hw: basic support for ODROID"
|
2013-12-09 10:49:16 +01:00 |