SeL4 security proofs now complete on AArch64
By snvzz · 2026-08-24 · 75 points · 16 comments
https://proofcraft.systems/news-2026/#2026-08-21
By snvzz · 75 points · 16 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews