In reply to Jeffrey.

ISS runs on Linux (Debian).

https://en.wikipedia.org/wiki/Space_station

;)