# 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 a major milestone in the development of the seL4 microkernel and its ecosystem.
We also would like to express our immense gratitude to UK's National Cyber Security Centre (NCSC) for funding this work, which is of great importance for the seL4 ecosystem.
For more information check Proocraft's news item.
# 14 February 2024: Meet the Program Committee of the seL4 summit 2024
# 9 February 2024: The seL4 summit 2024 will be held in Sydney, Australia
It is our pleasure to confirm that the seL4 Summit 2024 will be in: Sydney, Australia, Oct 2024 (dates TBC). We look forward to welcoming the community in the birthplace of seL4. We will announce a Call for Presentations in the coming weeks. Stay tuned!