Alkemet News
SeL4 security proofs now complete on AArch64 (proofcraft.systems)

153 points

bysnvzz

10 hours ago |

34 comments