Hacker News Reader

Please tell me their spaceship doesn't run on windows.

Nah, the ships themselves run linux. They use Windows for the ERP stuff, like parts tracking, analytics, reporting, etc.

Their own public documentation says VxWorks is used in the spacecraft. I have not seen Linux cited, but would not be surprised.

Elon Musk said they use C++ on Linux a few days ago on Twitter: http://twitter.com/#!/elonmusk/status/198579161382649857