I was looking at some Wikipedia articles on spacecrafts and robotic probes and found a reference of an OS named "VxWorks" which I have never heard of before; according to the article this OS has been used in a few NASA projects.
So now I'm wondering what OS flavor or branch all those amazing space devices, satellites and space shuttles use, or if this "VxWorks" is the only (or at least the most tested, bug-free, stable) resource available for spacecraft?
Also, how does Unix/Linux contribute (if at all) at space exploration?
I'm not really involved into space exploration myself, so I'm hoping someone else here with a bit more knowledge on the issue is willing to share his comments.
Thanks.
PS: For the curious minds, this is the Wikipedia article I was reading:
http://en.wikipedia.org/wiki/Stardust_(spacecraft)