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?