RTEMS

The real-time system that goes to space: ESA and NASA probes and satellites carry it, along with particle accelerators and industrial control. No virtual memory, deterministic, and over thirty years of history behind it.