Linux(with realtime patch) is used very heavily in spacecraft by Spacex. So both in terms of high visibility/important/danger (dragon 2) and high count (starlink) it is very widely used.
citation https://old.reddit.com/r/spacex/comments/ncj4vz/we_are_the_s...