Secure Virtualization Technology

Secure virtualization to NSA-defined “High Robustness” is provided by a virtualization layer running in a user partition on top of a hardened separation kernel. Any potential virtualization vulnerabilities are guaranteed to be isolated from applications running in other partitions, enabling other partitions to run multi-level security (MLS) applications.