Space Grade OS

This is a fascinating story about the operating system that runs space missions.