> Any opensource libraries in that satellite's tech stack will now get to brag about "our code running on the moon" :)

A safe bet would be that SQLite is on there. It's already in airplanes / satellites.