> Could something like Xen be more secure than the Linux kernel? Maybe. That's a good question, and one I haven't seen the answer to. The answer might possibly

> Could something like Xen be more secure than the Linux kernel? Maybe. That's a good question, and one I haven't seen the answer to. The answer might possibly be 'yes': https://www.qubes-os.org/doc/user-faq/#why-does-qubes-use-xen-instead-of-kvm-or-some-other-hypervisor https://www.qubes-os.org/doc/user-faq/#why-does-qubes-use-xe... The reasoning is that Xen is fairly small, so relatively easy to audit by hand, OpenBSD-style.