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. 08 Nov 2024: The videos and slides of the seL4 summit 2024 are available online 11 Oct 2024: seL4 summit 2024 Anniversary Panel Session 02 Oct 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
