SeL4 security proofs now complete on AArch64proofcraft.systems
34 points by snvzz 1 hours ago | 6 comments