SeL4 security proofs now complete on AArch64

160 points

by snvzz

10 hours ago

35 comments