Spartan3ADSP - MicroSD Hilfe

Hallo,
ich benutze hier ein Xilinx Spartan3ADSP-18000 Board.In dem Paket waren 
2 Adapter MicroSD auf PMOD (6-PIN Anschluss)..sieht so 
aus:http://shop.trenz-electronic.de/catalog/images/products/23009_t1.jpg

Angeblich soll man damit sogar den Bitstream beim starten des Boards 
automatisch laden können sodass kein Programmiere via Jtag mehr nötig 
ist.

Mir würde es allerdings vollkommen reichen die Microsd-Karte als 
Laufwerk unter Petalinux (welches bereits erfolgreich auf dem FPGA Board 
läuft) zu verwenden.
Fakt ist, ich benötige wohl einen Controller der die MicroSD anspricht, 
Xilinx liefert in seienem EDK ein XPS_SPI Interface mit, allerdings bin 
ich damit noch nicht weiter gekommen..habe es zu meiner aktuellen System 
Assembly hinzugefügt, allerdings weiß ich nun nicht wie ich die Pins 
zuordnen soll.
Wäre wirklich nett wenn jemand mir erklären könnte ob der Weg über den 
SPI controller der richtige ist bzw. wie man die Karte anspricht.
Vielen Dank,
chris