Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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!



"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?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: