RODOS é mais uma opção. É um projeto de código aberto desenvolvido pelo Centro Aeroespacial Alemão e pela equipe e estudantes da Universidade do Prof. Montenegro.
Está usando C ++, é completamente escrito da maneira orientada a objeto e suporta ARM7, Atmel AVR, STM32 / Cortex-M3, Xilinx, Raspberry Pi :), ...
Atualmente, ele é usado nas máquinas satélite TET e LoTTo, se eu não entendi errado.
É claro que eu preferiria executá-lo acima do Linux (o que é possível) para ter o melhor dos dois mundos - mas as questões em TEMPO REAL permanecem, porque não tenho certeza se é possível que o Linux possa fornecer a API correta.
Para obter o RODOS, é necessário escrever uma mensagem ao Prof. Sergio Montenegro ou ao DLR (Centro Aeroespacial Alemão).