Kernel is modular. Literally everything can be enabled/disabled. Aviation has strict regulations and that's why most critical systems have redundant parts. Put

Kernel is modular. Literally everything can be enabled/disabled. Aviation has strict regulations and that's why most critical systems have redundant parts. Putting a sigle critical component into plane is stupid in and of itself. Think of simple freezing in high altitude or overheating otherwise. On the other hand I would rather fly in a plane whos altitude meter shuts down and switches to redundant circuit other than letting it report incorrect values...