seL4
@seL4Foundation
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
https://sel4.systems 03-03-2021 01:04:19
142 Tweets
705 Followers
5 Following