Home News # 29 April 2024: Apple joins the seL4 Foundation The seL4 Foundation is pleased to welcome Apple as our latest member. We are excited to see their interest in seL4 and look forward to seeing their work with seL4. # 19 Apr 2024: Functional correctness proved for AArch64 We are extremely pleased to announce that the functional correctness proof for seL4 on the 64-bit Arm architecture (AArch64) is complete! We congratulate to our member Proofcraft for this great achievement, which marks ...