The Padded Cell Secure Hypervisor allows compartmentalization and virtualization of guest operating systems, and its EAL6+ compliant security policies aid resolution of serious security problems with ...