Qubes OS: A reasonably secure operating system
Their weakest point is the hypervisor, Xen, which while a better choice than Linux/KVM, is still extremely bloated and has a poor security history.<p>Thankfully, better designs such as seL4's VMM do exist, although it might need a little more work [1] until usable for the purpose.<p>[1] <a href="https://sel4.systems/Info/Roadmap/" rel="nofollow">https://sel4.systems/Info/Roadmap/</a>