Is there a SD controller IP (verilog or VHDL) from Xilinx or where can we buy one? I need to use a third SDIO since I need an SD card (not MicroSD), and the second SDIO is used by the TI PMOD using SDIO. So I truly think I need a third SD controller implemented in FPGA.
I saw this from website:
http://www.xilinx.com/products/intellectual-property/1-1p025g.html
How easy is it to use this? Is the driver included in PetaLinux?