Hacker Neus
SeL4 security proofs now complete on AArch64
(proofcraft.systems)
160 points
by snvzz
11 hours ago |
36 comments
