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(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>