We are pleased to welcome a new member [0] - Gapfruit [1] - to the seL4 Foundation [2]. Gapfruit is a Swiss technology company building trustworthy foundations for the systems society depends on - from industrial controls to energy infrastructure. To achieve this, Gapfruit combines microkernel operating systems with capability-based security and hardware-rooted trust - an approach grounded in standards from the Trusted Computing Group [3]. Together, these technologies enable resilient, verifiable device operations for the critical systems that underpin modern infrastructure. By joining the seL4 Foundation, we aim to advance high-assurance computing in critical infrastructure and collaborate with the global seL4 community to make trustworthy systems the standard - not the exception. Learn more about Gapfruit's work in their contributions to previous seL4 summit panels [4] and talks [5]. [0] https://sel4.systems/Foundation/Membership/ [1] https://www.gapfruit.com/ [2] https://sel4.systems/Foundation/ [3] https://trustedcomputinggroup.org/ [4] https://sel4.systems/Summit/2023/abstracts2023.html#a-panel [5] https://sel4.systems/Summit/2023/abstracts2023.html#a-showcase-microkernel 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>