I am developing an application using a ZedBoard (having a Xilinx Zynq FPGA). The board will be connected to multiple SD cards. One SD card is used to boot and program the FPGA (no problem here). Once that is over, the FPGA will have to do some data processing and write the contents to the second SD card using SDIO protocol. I have not come across any useful documentation/tutorials etc that show how to write data to the SD card either directly using VHDL logic or through the PS using AXI4 - DMA. Also, there are no free Xilinx or 3rd party IP blocks for SD card read/write access. Could someone please provide me with some tips/help regarding this?
Thanks.