Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons
Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons
Linux can and is used on airplanes, flight control systems is not where it lives. There is a layer of abstraction, the auto pilot, which allows for Linux to be used and the safety of flight risks to be mitigated.