Hacker News new | ask | show | jobs
by Palomides 970 days 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!

2 comments

"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

How does the real-world performance compare to other systems like Linux, Windows, etc?