Hast Du dir schon mal die diversen Teensy Boards angeschaut?
Die gibts auch mit potenten 32 Bit Controllern und können mit der ARDUINO IDE geproggt werden.