Reading an article about a computer failure on the space station, I could not help but wonder - What OS are they using?