Из контроллеров stm32 используются повсеместно, ну и TI никто не отменял.
Я бы на Вашем месте смотрел в сторону Linux (buildroot, yocto).
Сейчас практически любое устройство не обходится без Linux.
+ если что можно будет относительно не сложно сменить профиль (например в украине с эмбедом сейчас туго ИМХО)