acpi
|
acpi_drv: Genode API transition
|
2017-01-13 13:07:13 +01:00 |
audio/spec/linux
|
use Attached_dataspace at audio streams
|
2017-01-13 13:07:10 +01:00 |
gpio/spec
|
gpio_drv: get rid of specs foc_rpi and hw_rpi
|
2017-02-07 11:12:29 +01:00 |
input
|
Warn about the use of deprecated headers
|
2017-01-31 12:01:18 +01:00 |
nic/spec
|
lan9118: use env in Timer connection
|
2017-02-23 14:54:45 +01:00 |
platform/spec
|
update Reporter constructors
|
2017-02-07 19:20:29 +01:00 |
sd_card
|
Warn about the use of deprecated headers
|
2017-01-31 12:01:18 +01:00 |
timer
|
Warn about the use of deprecated headers
|
2017-01-31 12:01:18 +01:00 |
uart
|
Warn about the use of deprecated headers
|
2017-01-31 12:01:18 +01:00 |
usb_block
|
update Reporter constructors
|
2017-02-07 19:20:29 +01:00 |