Benchmarks of seL4

13 Apr 2020

      Hello,

I come wondering: the FAQ claims that seL4 is “the world's fastest
microkernel”. However, I can only find benchmarks of just seL4, without
comparison to other operating systems running on the same machine.

Would you happen to have such comparative benchmarks? I'd be
particularly interested by something against L4Re, as it'd probably
allow me to guess at the performance of something similar to L4Linux
ported to seL4.

Thank you for all you do on seL4!
  Leo

Leo Gaspard

tags

participants (6)