My Teensy 3.0 from Kickstarter project by Paul Stoffregen arrived and am looking forward to getting to grips soon.

Teensy 3.0 is an affordable 32 bit ARM Cortex-M4 board, for development in Arduino or C/C++.