Cortex soll sehr Leistungsstark sein, und ist meines wissens nur in SMD-Gehäusen verfügbar. Die Programmierung erfolgt in C. IDEs sollte es auch geben, habe aber noch nie damit gearbeitet. Eventuell fragste mal auf mikrocontroller.net nach, da sind wahrscheinlich mehr Cortex-Leute unterwegs als hier.