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.
Call For Presentations for the seL4 Summit 2024
- Share your seL4 work
- Share your seL4 experience
- Share your seL4 thoughts
Check the full Call For Presentations. To propose a talk, upload an abstract of one page or less by 22 April 2024 to the submission portal.
Also note the open invitation for a 5-minute slot to talk about your seL4 deployment.
We are thrilled to announce our program committee for the seL4 Summit 2024. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
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!
