Great care was taken with the routing and termination of the signals to the SD card, so it should work well.
It is actually wired up in 4 bit mode if we wish to make it go faster in the future, but as this is not supported by the ARM in hardware, it may end up being slower.
The prototype daughterboard has a second SD card directly connected to the FPGA. If this works out, it willl allow much faster transfers. It means you need two sd cards, a small one for booting the FPGA on the base board, and the large one with hard-disk images on.
The daughterboard also has digital audio connectivity running in parallel with the feed to the DAC on the main board.
/MikeJ