Pues anda que no se montó discusión con el tema de la NASA. Pero claro, todos los windozers que no han probado linux... se creen superiores, y luego pasan estas cosas... .
Sip, y encima seguro que en la NASA tampoco usan Linux, no sé, quizás algún UNIX desarrollado por ellos mismos, aunque bueno, por soñar, no estaría mal, como de todas formas pueden reprogramar ellos mismos el kernel...
Lo de Linux para naves espaciales es muy buena idea, el problema en el espacio es que los procesadores "potentes" fallan como escopetas de feria, devido a que las radiaciones del espacio afectan a los transistores de estos cuanto más pequeños y juntos están. De echo hace poco la NASA buscaba viejos 8086 para conseguir repuestos para una sonda
Supongo que usaran SOs personalizados, no estarán basados en nada, ni siquiera en UNIX, pero si consiguen hacer funcionar un núcleo de Linux es natural que lo usen ya que siempre estará mejor probado que un SO creado por ellos mismos para una determinada sonda y recordemos que el núcleo de Linux es robustísimo, casi a prueba de cañonazos. Yo todavía no he visto un kernel pánic de esos... ¿existen?