These two patched add a device model for the standard SD host controller interface (1) and instantiates it as a device to the Xilinx Zynq platform (2).
Peter A. G. Crosthwaite (2): SDHCI: inital version xilinx_zynq: added sdhci controller Makefile.target | 1 + hw/sdhci.c | 736 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ hw/xilinx_zynq.c | 13 +- 3 files changed, 749 insertions(+), 1 deletions(-) create mode 100644 hw/sdhci.c -- 1.7.3.2