Teensy AVR (viz. http://www.pjrc.com/teensy/index.html)