Hacker News new | ask | show | jobs
by unwind 189 days ago
It's a family of microkernels.

https://en.wikipedia.org/wiki/L4_microkernel_family