https://sel4.systems
https://hensoldt-cyber.com/2021/06/24/sel4-why-a-microkernel-system/
Not a member of The Register? Create a new account here.
Remember me on this computer? Post anonymously?