The ISS laptops run Debian Linux. Critical systems use custom real‑time OSes on radiation‑hardened hardware.