Bueno, no cuesta mucho mirar
http://training.linuxfoundation.org/why-our-linux-training/training-reviews/linux-foundation-training-prepares-the-international-space-station-for-linux-migrationCreo haber visto por ahi que usaban un Debian, pero anteriormente usaban una versión de Red Hat Enterprise llamada Scientific Linux.
Lo de los Lenovo no me extraña. Lenovo fue durante años la división de IBM dedicada a ordenadores personales, y se caracterizan entre otras cosas por ser ordenadores "duros".
Con todo, sería interesante saber si esos portátiles tienen algun "retoque" para funcionar en un entorno que a largo plazo seguramente es problemático, sobre todo por temas de radiación.
Lo digo porque aunque hay una sección de la ISS especialmente preparada para cuando hay tormentas solares, y los astronautas se desplazan a la misma cuando hay una "oleada" de esas, dudo que se lleven todos los portátiles