The seL4 microkernel
Why do you think that https://github.com/TechEmpower/FrameworkBenchmarks is a good alternative to seL4
The seL4 microkernel
Why do you think that https://github.com/TechEmpower/FrameworkBenchmarks is a good alternative to seL4