logoalt Hacker News

unwind • last Monday at 10:05 AM • 0 replies • view on HN

It's a family of microkernels.

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