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