|
acpi
|
Avoid use of Connection::KEEP_OPEN feature
|
2016-11-25 14:06:14 +01:00 |
|
ahci
|
Adapt low-level components to new parent interface
|
2016-11-25 16:06:42 +01:00 |
|
gpio/spec
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
input
|
ps2: handle platform session memory requests
|
2016-11-30 13:37:07 +01:00 |
|
platform/spec
|
platform_drv: use ram_session_guard
|
2016-11-30 13:37:06 +01:00 |
|
sd_card
|
pl180: remove irrelevant usage of Irq_handler
|
2016-08-29 17:29:35 +02:00 |
|
timer
|
Define Genode::size_t as unsigned long
|
2016-10-21 12:39:29 +02:00 |
|
uart
|
uart_drv: transition to new base API
|
2016-08-29 17:29:35 +02:00 |
|
usb_block
|
usb_drv: raw session fixes
|
2016-10-21 12:39:37 +02:00 |
