Teensy 3.0

Looks like a great board, but what tool chain will be used to code for it?