RTEMS is one and there is also eCOS. RTEMS has flown in space a few times so it is proven.
Forgot to mention: the neat part of RTEMS is it allows one to sort of turn a Unix program into a bare metal program.
Why do RTEMS and eCOS trump, say, Linux? Linux on a RPi has also famously flown (really!) in space.
It's all very well asserting something but a bit more chat would be nice.
I'm not sure what "turn a Unix program into a bare metal program." means.
Why do RTEMS and eCOS trump, say, Linux? Linux on a RPi has also famously flown (really!) in space.
It's all very well asserting something but a bit more chat would be nice.
I'm not sure what "turn a Unix program into a bare metal program." means.