Avr32

Intersting board with a microcontroller 32bits: Atmel AVR32 AT32UC3A1512. It has 512k flash, digital IO and 8 analog input, 4 UARTs, audio stream output, .... plenty of things and more.
The datasheet.
The board is called Alvidi and can be bought here: Avr32 Alvidi