With the recent problems with the Mars Rover, Spirit, the fine folks at Wired did an interview with Glenn Reeves, the software architect for the Mars Rover. In it, Reeves describes the basic process of bringing the rover back on line and how they wee able to regain control. He also mentions the use of VxWorks as the OS.