I haven't actually seen an SDCard driver for the Zynq BSP in RTEMS. That said, FreeBSD does support this device via the sdhci driver. So it might be possible to adapt the sdhci driver support in rtems-libbsd to the RTEMS Zynq BSP. Take a look at how the beagleboard and IMX BSPs do it. rtemsbsp/include/bsp/nexus-devices.h is one of the entry points I use when source-diving into rtems-libbsd.
HTH, Jonathan Brandmeyer _______________________________________________ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users