4 ms·
genode is miserably under-hyped, it seems like the most practical, arguably even daily usable microkernel-based OS running on seL4, which is arguably one of th
by Palomides 3y ago
genode is miserably under-hyped, it seems like the most practical, arguably even daily usable microkernel-based OS
running on seL4, which is arguably one of the great achievements in verified software, it's so conceptually interesting!
- arp242 3y agoHow does the real-world performance compare to other systems like Linux, Windows, etc?
- sillywalk 3y ago"Sculpt is an open-source general-purpose OS. It combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. " [0] https://genode.org/download/sculpt https://genode.org/download/sculpt