Get the latest tech news
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.
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. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
Or read this on Hacker News
