genode/repos/os/src/drivers/sd_card/spec
2017-01-13 13:07:05 +01:00
..
exynos5 sd_card: use library instead of REQUIRES 2017-01-13 13:07:05 +01:00
imx53 sd_card: use library instead of REQUIRES 2017-01-13 13:07:05 +01:00
omap4 sd_card: use library instead of REQUIRES 2017-01-13 13:07:05 +01:00
pl180 sd_card: use library instead of REQUIRES 2017-01-13 13:07:05 +01:00
rpi sd_card: use library instead of REQUIRES 2017-01-13 13:07:05 +01:00