They did one thing really well. They actually provide a running system. You linked to Nizza and EROS papers, not software. Genode provides a &quot;framework&quot; - and basically runs complete systems in separate windows.<p>QubesOS provides a familiar environment where applications can be labeled with different security contexts and run completely isolated from each other. Basically they win on execution right now. I&#x27;m sure there are loads of interesting approaches and papers describing how to make things better. But QubesOS is a product and it works. It also provides a user documentation, while genode docs give you c function signatures.