How Can I Determine Which Operating System is On Phoenix Mars?
See here and here and here.
Basically Phoenix is running a variant of Lenix called VxWorks on the radiation hardened processor RAD6000.
