SeL4 security proofs now complete on AArch64(proofcraft.systems)192 points by snvzz 2 months ago | 47 comments