@Suiseiseki According to spacex they use Linux on the Falcon rockets. I'd imagine whatever realtime performance needed in a satellite is also needed on the rockets. Linux is free software, so all of their scheduler changes should be at least available if not upstreamed.

That's saying nothing of all of the userspace systems and offline tooling needed to run a rocket, which is where the bulk of their systems probably are anyway.