Таких осей навалом. VxWorks давно уже поддерживает гетерогенную мультипроцессорность.
Mentor сдает весь свой фреймворк (со всеми сорсами)уже всего за 25тыс.$ Еще недавно было под 100тыс.$
Их базовая конфигурация в принципе лезет в 1 Мег FLASH, но такой объем RAM-а (200 K) потребует не слабых усилий на оптимизацию.