# L4 microkernel family

5 Hacker News commenters recommended L4 microkernel family and 1 criticized it, November 2025 to November 2026. It was recommended in 5 of 13 months.

**Verdict:** People recommend the L4 microkernel family for its fast synchronous IPC design, which they say makes it efficient enough for real systems. One critic says it stays niche.

## Why people recommend it

- Fast synchronous IPC design (2 comments): "the transition to synchronous IPC together with the specific way it was designed was absolutely central to the dramatic performance improvements of L4" ([source](https://news.ycombinator.com/item?id=48008276)) "The L4 family's IPC design is substantially more efficient, and that's why they're used in actual systems." ([source](https://news.ycombinator.com/item?id=46537081))
- Efficient, used in real systems (2 comments): "The L4 family's IPC design is substantially more efficient, and that's why they're used in actual systems." ([source](https://news.ycombinator.com/item?id=46537081)) "There are some very fast microkernels out there, like the L4 family" ([source](https://news.ycombinator.com/item?id=49189981))

## Alternatives hackers recommend

- [Windows](https://hackerapproved.com/p/windows.md): 1287 recommend
- [macOS](https://hackerapproved.com/p/macos.md): 1041 recommend
- [Linux](https://hackerapproved.com/p/linux.md): 745 recommend
- [Haiku](https://hackerapproved.com/p/haiku-os.md): 115 recommend
- [NetBSD](https://hackerapproved.com/p/netbsd.md): 100 recommend

## Cite as

Hacker Approved, "L4 microkernel family", https://hackerapproved.com/p/l4-family/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).