> > By "secure", I mean something that can run multi-level security in > a provably correct way. Can you imagine trying to formally prove VM secure? > It boggles the mind. > Actually, VM would be alot easier to do than UNIX would.