|
acpi
|
acpi_drv: Genode API transition
|
2017-01-13 13:07:13 +01:00 |
|
ahci
|
ahci: remove usage of deprecated env()
|
2017-02-28 12:59:17 +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
|
ps2: remove usage of deprecated env()
|
2017-02-28 12:59:17 +01:00 |
|
nic/spec
|
lan9118: use env in Timer connection
|
2017-02-23 14:54:45 +01:00 |
|
sd_card
|
Warn about the use of deprecated headers
|
2017-01-31 12:01:18 +01:00 |
|
timer
|
timer: remove usage of deprecated env()
|
2017-02-28 12:59:18 +01:00 |
|
uart
|
uart/x86: remove usage of deprecated env()
|
2017-02-28 12:59:18 +01:00 |
|
usb_block
|
update Reporter constructors
|
2017-02-07 19:20:29 +01:00 |
