Just thought I'd post this here in case anyone ends up searching for the same stuff: http://www.iar.com/G...4_MCU_part1.pdf
Cortex M4 has DSP instruction set and there are libraries available.
Also - I found this: http://www.micromint...bambino200.html
It is a .NET Gadgeteer compatible board with a multi core ARM Cortex .