Microchip's chipKIT for the Arduino Community

Microchip is creating a new product called chipKIT, UNO32, and MAX32 development boards. The first 32-bit microcontroller based platforms that are compatible with existing Arduino hardware and software.

http://www.adafruit.com/blog/2011/09/07/microchip-responds/