QubesOS is amazing, with a lot of interesting concepts. While its dependency on Xen, a fairly bloated and thus unsafe hypervisor, is unfortunate, there's an ef

QubesOS is amazing, with a lot of interesting concepts. While its dependency on Xen, a fairly bloated and thus unsafe hypervisor, is unfortunate, there's an effort[0] to remake Qubes around seL4. 0. https://trustworthy.systems/projects/TS/makatea https://trustworthy.systems/projects/TS/makatea