# Genode OS

14 Hacker News commenters recommended Genode OS and 1 criticized it, November 2025 to November 2026. It was recommended in 12 of 13 months. It meets the Hacker Approved badge rule.

**Verdict:** 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.

## Why people recommend it

- Interesting microkernel alternative to other OSes (5 comments): "appears to be very convenient if you are looking into a way to run microkernels for general purpose computing" ([source](https://news.ycombinator.com/item?id=50274848)) "The microkernel-based systems (LionsOS, Genode and so on) already have sane interfaces." ([source](https://news.ycombinator.com/item?id=48202700)) "I find the latter to be a most interesting alternative to things like QNX/BeOS/Haiku" ([source](https://news.ycombinator.com/item?id=49421795))
- Capability-based sandboxing and security (3 comments): "uses a robust capabilities system to sandbox basically everything" ([source](https://news.ycombinator.com/item?id=49936835)) "Capability based, and used/maintained commercially" ([source](https://news.ycombinator.com/item?id=48180546)) "which are built on better principles" ([source](https://news.ycombinator.com/item?id=47300254))
- Long-running, actively maintained project (2 comments): "An active, long-running project, more than 20 years now, Genode is amazing outright." ([source](https://news.ycombinator.com/item?id=46844531)) "Capability based, and used/maintained commercially" ([source](https://news.ycombinator.com/item?id=48180546))
- Runs on the seL4 kernel (2 comments): "an independent OS construction kit that can also use the seL4 kernel" ([source](https://news.ycombinator.com/item?id=45863927)) "I’m a huge fan of Genode, another OS that runs on SeL4." ([source](https://news.ycombinator.com/item?id=45996235))

## What people warn about

- Not yet a daily driver (2 comments): "like Genode, this approach yields something that is interesting, but can't be a daily driver for me" ([source](https://news.ycombinator.com/item?id=46006248)) "remains a collection of ingredients instead of a daily driver" ([source](https://news.ycombinator.com/item?id=46149134))
- VMs carry noticeable performance cost (1 comments): "It’s capable of this today. Be aware that VMs do have a noticeable performance impact" ([source](https://news.ycombinator.com/item?id=46840732))

## Alternatives hackers recommend

- [FreeBSD](https://hackerapproved.com/p/freebsd.md): 335 recommend
- [seL4 microkernel](https://hackerapproved.com/p/sel4.md): 58 recommend
- [Oberon System 3](https://hackerapproved.com/p/oberon-system-3.md): 25 recommend
- [Ironclad OS](https://hackerapproved.com/p/ironclad.md): 12 recommend
- [PebbleOS](https://hackerapproved.com/p/pebbleos.md): 8 recommend

## Cite as

Hacker Approved, "Genode OS", https://hackerapproved.com/p/genode/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).