We are pleased to welcome a new member [0] - Neutrality [1] - to the seL4 Foundation [2]. Designed for organisations that cannot compromise on trust, Neutrality is building Atoll, a formally-verified, secure, European-sovereign virtualisation and cloud hosting platform. Atoll provides a mathematical proof of isolation between customer workloads, delivering a new level of assurance. Atoll builds on the foundation provided by the formally-verified seL4 microkernel, extending its formal correctness proof and platform support to securely run colocated commercial workloads handling sensitive data on commodity hardware. Neutrality combines cutting-edge research in Systems, Formal Methods, and Security with a world class engineering team to provide organisations unprecedented levels of trust in their most critical systems. Joining the seL4 Foundation enables the team at Neutrality to collaborate with the global community advancing the seL4 microkernel and formally verified, high-assurance computing. [0] https://sel4.systems/Foundation/Membership/ [1] https://neutrality.ch/ [2] https://sel4.systems/Foundation/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>