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 ahartmetz on Tuesday April 16, 2024 @01:55AM (#40048772)
My intuition is similar to yours, but I trust people who have done the thing more than your or my intuition.

Sync seems to require very responsive receivers, which is a desired property anyway, so maybe the downside isn't that great.

[ Parent | on HN ]

There are no comments on this comment yet.