chipKIT Arduino-compatible boards using the PIC32

The chipKIT™ UNO32™ and MAX32™ development boards are the first
32-bit-microcontroller-based platforms that are compatible with existing Arduino hardware and software:

http://www.microchip.com/stellent/idcplg?IdcService=SS_GET_PAGE&nodeId=2095&param=en553910

Already in active discussion here!

http://arduino.cc/forum/index.php/topic,61129.0.html
http://arduino.cc/forum/index.php/topic,61674.0.html

--
The Gadget Shield: accelerometer, RGB LED, IR transmit/receive, speaker, microphone, light sensor, potentiometer, pushbuttons