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
..
board_base.h	sd_card: generalise RPi sd card driver	2016-04-11 12:12:23 +02:00