8·security·기타·Hacker News·2026. 08. 24.·▲ 173💬 38SeL4 security proofs now complete on AArch64SeL4의 보안 증명이 AArch64에서 완료되었습니다.SeL4 security proofs are now complete on AArch64.#aarch64#sel4#microkernel#security#proof요약 보기원문 →