I'm working on a Linux distribution for space applications that addresses some of the pain points (application deployment, software update & memory-safe implementations of typical space protocols like CCSDS/PUS). If all goes to plan it will fly on a 1U CubeSat tech demonstrator this year, a cybersecurity research 1U CubeSat next year, and a 2U high performance satellite ... later. :)
The license list is a bit long:
https://www.starlink.com/assets/pdfs/Starlink-Open-Source-Co...
In the same way that any pi project should really use i2c or spi to comms with hardware that's more purpose designed.
Software actually running on satellites isn't being distributed, so there's no license obligations there (unless it's AGPL, ha!)
I've also worked with a payload running Windows Embedded.