Is an embedded real-time OS like VxWorks still used in this role on this kind of mission today, or is a general-purpose OS like Linux used instead?
^1: http://www.windriver.com/announces/curiosity/ ^2: http://www.spacex.com/sites/spacex/files/pdf/DragonLabFactSh...