News for hackers. Stuff that matters.
Re:The software that flies SpaceX rockets and starships by genidoi on Wednesday December 29, 2021 @11:19AM (#29726195)
fprime is what you're after; it's the embedded flight hardware that runs on the Mars 2020 drone.

https://nasa.github.io/fprime/Architecture/FPrimeArchitectur...

Re:The software that flies SpaceX rockets and starships by idealmedtech on Wednesday December 29, 2021 @11:23AM (#29726249)
fprime is more of a set of libraries and daemon architectures, not really hardware time synchronization.