genode/repos/os/src/drivers
Christian Prochaska 344f6f9e53 os/include/block: API transition (fix 'deprecated' warnings)
...and adaptation of the users of 'Block::Driver', 'Block::Root' and
'Block::Session_component' to the modified interface.

Issue #1987
2017-01-20 16:46:57 +01:00
..
acpi acpi_drv: Genode API transition 2017-01-13 13:07:13 +01:00
ahci os/include/block: API transition (fix 'deprecated' warnings) 2017-01-20 16:46:57 +01:00
audio/spec/linux use Attached_dataspace at audio streams 2017-01-13 13:07:10 +01:00
framebuffer/spec omap4_fb: use new base APIs 2017-01-13 13:07:08 +01:00
gpio/spec Use default component stack size where appropriate 2016-11-30 13:38:06 +01:00
input Deprecate Genode::config() 2017-01-13 13:06:54 +01:00
nic/spec os/include/nic: API transition (fix 'deprecated' warnings) 2017-01-20 16:46:56 +01:00
platform/spec os: platform_drv (arm) API transition (ref #1987) 2017-01-13 13:07:03 +01:00
rtc/spec/x86 rtc_drv: API transition (fix 'deprecated' warnings) 2017-01-20 16:46:54 +01:00
sd_card os/include/block: API transition (fix 'deprecated' warnings) 2017-01-20 16:46:57 +01:00
timer Hide implementation details in timeout framework 2017-01-13 13:05:45 +01:00
uart Disambiguate kernel-specific file names 2016-12-23 16:51:32 +01:00
usb_block os/include/block: API transition (fix 'deprecated' warnings) 2017-01-20 16:46:57 +01:00