In an earlier thread complaining about the state of the Xilinx website, Antti (by mistake?) signed off with a URL thus:
Antti micro-SD adapter for digilent/xilinx boards:
At this URL there was a screen shot and text indicating that DOSFS had been ported for use in EDK.
Is the microSD adapter and this port available?
John Robbins