la nasa usa linux da anni ormai, hanno sviluppato una loro distro derivata da debian che usano per gestire la ISS nella parte americana.