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?

Great. There seem to be two ways to donate, Patreon and OpenCollective. Is one better than the other for the devs regarding fees? Afaik Patreon claims a small fee, not sure about OpenCollective.

This feels great. The posts right now seem a lot more genuine compared to reddit lately. Keep it up!