Interfacing to SD card

We plan to use a Rabbit 4x00 core for a project that requires interfacing to an SD memory card. Does anyone have sample Dynamic C code for interfacing on the SD bus or the SPI bus?

I have the same requirement. Did you find a solution?