Martin Stein b33c35a003 sd_card: get rid of wait_for_irq ... Most implementations use a Signal_handler now to acknowledge the packet instead of waiting for the transfer completion. The exceptions to that are the non-DMA implementations for RPI and PL180 Ref #2206		2017-01-13 13:07:06 +01:00
..
acpi	base: rename 'Volatile_object' to 'Reconstructible'	2016-12-01 17:46:50 +01:00
ahci	base: rename 'Volatile_object' to 'Reconstructible'	2016-12-01 17:46:50 +01:00
audio/spec/linux	Adapt low-level components to new parent interface	2016-11-25 16:06:42 +01:00
framebuffer/spec	exynos_fb: use new base APIs	2017-01-13 13:07:02 +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	Use default component stack size where appropriate	2016-11-30 13:38:06 +01:00
platform/spec	os: platform_drv (arm) API transition (ref #1987)	2017-01-13 13:07:03 +01:00
rtc/spec/x86	Build dynamically linked executables by default	2016-12-14 11:22:27 +01:00
sd_card	sd_card: get rid of wait_for_irq	2017-01-13 13:07:06 +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	Use default component stack size where appropriate	2016-11-30 13:38:06 +01:00