Hypervisor Abstraction Layer

Finally, a 'Reasonably-Secure' Operating System: Qubes R3

The world's most secure operating system assumes you've been owned.