RODOS - это еще один вариант. Это проект с открытым исходным кодом, разработанный Немецким аэрокосмическим центром и командой и студентами Университета проф. Черногории.
Он использует C ++, полностью написан объектно-ориентированным способом и поддерживает ARM7, Atmel AVR, STM32 / Cortex-M3, Xilinx, Raspberry Pi :), ...
В настоящее время он используется в спутниковых TET и в машинах LoTTo, если я не ошибаюсь.
Конечно, я бы предпочел использовать его выше Linux (что возможно), чтобы иметь лучшее из обоих миров - но тогда остаются вопросы РЕАЛЬНОГО ВРЕМЕНИ, потому что я не уверен, возможно ли, что Linux может предоставить правильный API.
Чтобы получить RODOS, нужно написать сообщение профессору Sergio Montenegro или DLR (Немецкий аэрокосмический центр).