seL4: Beweisbar sichere Systeme Leave a reply L4 (Mikrokernel) The seL4 Microkernel – Security is no excuse for poor performance! github.com/seL4/seL4, The seL4 microkernel