These answers seem to be quite out of date, as the aerospace industry (most notably SpaceX) has been using Linux as part of their rocket control systems for quite a while now.