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:03AM (#40048814)
Mach (with Hurd) went down this rabbithole and utterly failed. Mailboxes were the cause of the desaster.
[ Parent | on HN ]

There are no comments on this comment yet.