Operating System

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.