Teensy is a great choice because it has a high processor frequency for a rather cheap price (IIRC 600mhz for 20€)