Yestino - The Signal · AArch64https://yestino.com/zh-CN/entities/aarch64-3151e3与 AArch64 相关的全部事件zh-CNSeL4 security proofs now complete on AArch64https://yestino.com/zh-CN/events/sel4-security-proofs-now-complete-on-aarch64-92f767https://yestino.com/zh-CN/events/sel4-security-proofs-now-complete-on-aarch64-92f767Mon, 24 Aug 2026 11:32:51 GMTAfter completing the proofs of functional correctness and integrity , Proofcraft has now established the proof that seL4 enforces confidentiality on AArch64, p… 来源：Hacker News