Paul has now provided SD access for Teensy 3.0 in his beta 4 release.
This is done by very clever emulation of the AVR SPI registers. There is also an emulation of AVR PORT and PIN registers.
Look at arduino-1.0.1/hardware/teensy/cores/teensy3/avr_emulation.h to see how this is done with C++ classes.