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
sillywalk 968 days 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

link
arp242 970 days ago
How does the real-world performance compare to other systems like Linux, Windows, etc?
link