3 ms·
If you are interested in trying a microkernel OS, Genode (genode.org) is pretty interesting, with a secure display architecture, ability to run Linux in a VM et
by justincormack 12y ago
If you are interested in trying a microkernel OS, Genode (genode.org) is pretty interesting, with a secure display architecture, ability to run Linux in a VM etc.