Every Starlink runs with Linux.
The license list is a bit long:
https://www.starlink.com/assets/pdfs/Starlink-Open-Source-Co...
The license list is a bit long:
https://www.starlink.com/assets/pdfs/Starlink-Open-Source-Co...
Software actually running on satellites isn't being distributed, so there's no license obligations there (unless it's AGPL, ha!)
In the same way that any pi project should really use i2c or spi to comms with hardware that's more purpose designed.