What operating systems are used for rover technology?

The Mars Exploration Rovers (Spirit and Opportunity) and the Mars Science Laboratory rover (Curiosity) use the VxWorks operating system.