Все просто. Для старта надо выбирать
http://netburner.com
* uCOS в основе
* готовые тулзы
* GDB stub по Ethernet
* цена разумная.
Стратегически надо выбирать камни с DDR, в первую очередь MCF5208.
Для первых плат надо выбирать то, что лежит на складе в digikey.com без криптографии, например, MCF5274. С привозом проблем быть не должно, нужно найти фирму, которая тут торгует по этому каталогу.