The Current Challenges With Using Linux On Airplanes

It should be added that they likely talk about the controller of the airplanes. Afaik there already is Linux on airplanes, but to handle e.g. the entertainment system. Which seems like a better fit.

Having a non-Linux main controller OS with specific design and a lot smaller feature set than Linux flying the plane seems like a good idea. But maybe this could also be open sourced and standardized?