News for hackers. Stuff that matters.
Re:Linux kernel use-after-free in Netfilter, local privilege... by camgunz on Wednesday May 10, 2023 @08:08AM (#35886185)
Sorry I'm pretty naive to this space. I didn't immediately see any performance info on that page save for this paper [0] which shows seL4 competitive with NetBSD, but far from Linux. Is there something else I should look at?

[0]: https://trustworthy.systems/publications/full_text/Elphinsto...

There are no comments on this comment yet.