Otro Hardware compatible Arduino..

Pues eso, que es de Microchip

http://www.neoteo.com/chipkit-el-arduino-de-microchip

 brinda cuatro veces el rendimiento de cualquier solución existente Arduino a un bajo precio, iniciando desde los 19,13 Euros por unidad.

El chipKIT basado en PIC32 permite velocidades de operación de 80 MHz, y ofrece hasta 512 KB de memoria Flash de programa, con un máximo de 128 KB de RAM. 

Va haber que probarlo.

Un saludo.