genode/repos/os/src
Timo Wischer 3e1fa54c61 sd_card: generalise RPi sd card driver
This enables to reuse the driver for zynq (and other platforms) in the
future.

Fixes #1925
2016-04-11 12:12:23 +02:00
..
app Prevent warnings about unconstructed attached ROMs 2016-04-11 11:51:43 +02:00
drivers sd_card: generalise RPi sd card driver 2016-04-11 12:12:23 +02:00
init init: invalidate child-provided service on kill 2016-04-11 11:58:15 +02:00
lib Move server API concept to base framework 2016-04-11 11:51:46 +02:00
server Prevent warnings about unconstructed attached ROMs 2016-04-11 11:51:43 +02:00
test Extended test for XML node 2016-03-10 17:08:53 +01:00