Anyway, I was responding to someone who wouldn't run either on a spaceship so I still would like to know what they would want to run. I am from a formal verification school of thought, so I would want something sel4.