It seems like they'd already be running Linux. I thought the joke of the post is that no aircraft engineers would ever trust those systems with a Microsoft trash OS