My question exactly: The computers should be purpose-built, including the operating system.
Why TF aren't they using something like NASA Linux‽
If they made it open source you bet your ass they'd get shittons of free support from the global community! If they're running my software I'd be willing to hop on a call with the command center on any day at any hour!
"Yes, I know it's Christmas but NASA is having some trouble with a systemd script on a space ship that's currently in space..."