|
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
|
Warn about the use of deprecated headers
|
2017-01-31 12:01:18 +01:00 |
|
platform/spec
|
os/slave.h: Remove use of global allocator
|
2017-02-07 11:12:28 +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 |
