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 gnufx on Monday April 15, 2024 @04:02PM (#40044964)
I don't know how complete it is -- it doesn't list DeVault's Helios -- but various projects are listed at http://www.microkernel.info/
[ Parent | on HN ]

There are no comments on this comment yet.