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 NetBS

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/Elphinstone_ZMH_17.pdf https://trustworthy.systems/publications/full_text/Elphinsto...