And Matt Monson — who moved from the Dragon project to SpaceX’s satellite internet service Starlink — posted that Starlink uses a lot of application-specific integrated circuits (ASICs), and that they too have a lot of experience with Linux. “For some level of scope on Starlink, each launch of 60 satellites contains more than 4,000 Linux computers. The constellation has more than 30,000 Linux nodes (and more than 6,000 microcontrollers) in space right now.
Huh, they actually do:
https://thenewstack.io/the-hardware-and-software-used-in-space/