3 ms·
https://sel4.systems/ https://sel4.systems/ > The seL4® Microkernel. Security is no excuse for bad performance. The benchmark for performance. The world's most
by emmelaich 6y ago
https://sel4.systems/ https://sel4.systems/
> The seL4® Microkernel. Security is no excuse for bad performance. The benchmark for performance. The world's most highly assured OS kernel. Open source & community-supported under the seL4 Foundation.