seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...

ID: 1366917273659731969

linkhttps://sel4.systems calendar_today03-03-2021 01:04:19