Genode OS
Hacker ApprovedShares rank 37 of 87 operating systems by recommenders
Recommended as a free, long-running capability-based microkernel OS framework for building secure special-purpose systems. Caveat: not yet a daily driver for most.
Recommended as a free, long-running capability-based microkernel OS framework for building secure special-purpose systems. Caveat: not yet a daily driver for most.
15 people gave an opinion
- recommend it
- 14
- criticize it
- 1
- approval share
- 93%
Recommended in 12 of 13 months
- November 2025: recommended
- December 2025: recommended
- January 2026: recommended
- February 2026: recommended
- March 2026: recommended
- April 2026: recommended
- May 2026: recommended
- June 2026: recommended
- July 2026: recommended
- August 2026: recommended
- September 2026: recommended
- October 2026: recommended
- November 2026: not recommended (month in progress)
Why it carries the badge
- 14 people recommend itNeeds 10 or more, met.
- 14 recommenders for every criticNeeds 2 to 1 or better, met.
- Recommended in 12 of 13 monthsNeeds 4 or more, met.
The same three rules apply to every product, and the badge can’t be bought. How the badge works
What people say about it
The reasons people give, with the number of comments that give each one. Open a reason to read what they said.
Why people recommend it
Each mark is one comment
Interesting microkernel alternative to other OSes
“appears to be very convenient if you are looking into a way to run microkernels for general purpose computing”
Comment from 28 Oct 2026 in “Code-execution flaw in UEFI firmware threatens most servers on planet Earth” “The microkernel-based systems (LionsOS, Genode and so on) already have sane interfaces.”
Comment from 20 May 2026 in “Ask HN: Are advances in AI going to push Linux to a micro-kernel?” “I find the latter to be a most interesting alternative to things like QNX/BeOS/Haiku”
Comment from 24 Aug 2026 in “NetBSD and my life (2005)” - Comment from 26 Jul 2026 in “GNU Hurd gets 9pfs, OpenNTPD, dynamic /dev/ entries, and more”
- Comment from 14 Dec 2025 in “Linux Sandboxes and Fil-C”
Capability-based sandboxing and security
“uses a robust capabilities system to sandbox basically everything”
Comment from 2 Oct 2026 in “Several vulnerabilities have been discovered in the Linux kernel” “Capability based, and used/maintained commercially”
Comment from 18 May 2026 in “The foundations of a provably secure operating system (PSOS) (1979) [pdf]” “which are built on better principles”
Comment from 8 Mar 2026 in “The Linux Kernel Will Soon Be MIT-Licensed and Copyleft Will Be Dead” Long-running, actively maintained project
“An active, long-running project, more than 20 years now, Genode is amazing outright.”
Comment from 1 Feb 2026 in “Genode OS is a tool kit for building highly secure special-purpose OS” “Capability based, and used/maintained commercially”
Comment from 18 May 2026 in “The foundations of a provably secure operating system (PSOS) (1979) [pdf]” Runs on the seL4 kernel
“an independent OS construction kit that can also use the seL4 kernel”
Comment from 9 Nov 2025 in “Ironclad – formally verified, real-time capable, Unix-like OS kernel” “I’m a huge fan of Genode, another OS that runs on SeL4.”
Comment from 20 Nov 2025 in “The Lions Operating System”
What people warn about
Each mark is one comment
Not yet a daily driver
“like Genode, this approach yields something that is interesting, but can't be a daily driver for me”
Comment from 21 Nov 2025 in “The Lions Operating System” “remains a collection of ingredients instead of a daily driver”
Comment from 4 Dec 2025 in “Programming peaked” VMs carry noticeable performance cost
“It’s capable of this today. Be aware that VMs do have a noticeable performance impact”
Comment from 31 Jan 2026 in “Genode OS is a tool kit for building highly secure special-purpose OS”
Other operating systems people recommend
The four most recommended other operating systems, with the same counts for each, so you can compare like for like. The tick on each bar marks the 2 to 1 line the badge needs.
See all 87 operating systems, rankedWhat people said
25 of the 29 comments that mention it, newest first. Each links to the original comment.
“appears to be very convenient if you are looking into a way to run microkernels for general purpose computing”
“GenodeOS should be mentioned for application-specific systems”
“uses a robust capabilities system to sandbox basically everything”
“Throwing away old software is not a requirement, as demonstrated very successfully by Genode and its SculptOS.”
“I find the latter to be a most interesting alternative to things like QNX/BeOS/Haiku”
“interesting alternatives with good momentum (Redox and Genode in particular)”
“I think Genode might become a widely used OS if they can pull it off.”
“A few looks into Genode for technical inspiration wouldn't be wrong”
“definitely a very interesting project. inspiring”
“The microkernel-based systems (LionsOS, Genode and so on) already have sane interfaces.”
“Capability based, and used/maintained commercially”
“I think Genode is the best news in a decade”
“This one looks more polished.”
“Last I heard, it was getting pretty close to being usable as a daily driver.”
“which are built on better principles”
“An active, long-running project, more than 20 years now, Genode is amazing outright.”
“It runs perfectly on refurbished Lenovo M910q tinies”
“Since Genode is an OS framework, let some agents simplify your daily grind.”
“It’s capable of this today. Be aware that VMs do have a noticeable performance impact”
“Reads all very impressive and sexy”
“Compartmented microkernel operating systems like Genode do it better imo.”
“remains a collection of ingredients instead of a daily driver”
“like Genode, this approach yields something that is interesting, but can't be a daily driver for me”
“I’m a huge fan of Genode, another OS that runs on SeL4.”
“an independent OS construction kit that can also use the seL4 kernel”
Counts come from 1,795,640 Hacker News comments, November 2025 to November 2026. How we count. Report a mistake.