News for hackers. Stuff that matters.

A comment on From L3 to seL4 what have we learnt in 20 years of L4 microkernels? [video]. Parent comment

Re:From L3 to seL4 what have we learnt in 20 years of L4 mic... by rurban on Tuesday April 16, 2024 @02:01AM (#40048807)
OKL4 is the most widely used L4 spinoff, and Kernkonzept's L4Re based on Dresden's Fiasco comes much closer than seL4. https://l4re.org/

I don't consider seL4 current, more like academic research.

[ Parent | on HN ]

There are no comments on this comment yet.