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. https://sel4.systems/news/#member-apple June -- June Andronick CEO of the seL4 Foundation https://sel4.systems/Foundation