I was checking out Espruino. It has a jumper to 'Boot to' where you can change the firmware. Do you think it would be possible to get PilOS running on this? It is ARM, and has a lot of convenience to it: USB A, LEDs, button, 22 GPIO, and best of all it's named Pico!
http://www.espruino.com/Pico Rob
