# Gapfruit joins the seL4 Foundation **URL:** \ **Category:** Uncategorized\ **Created:** [June 1, 2026, 7:27am UTC](https://sel4.discourse.group/t/gapfruit-joins-the-sel4-foundation/1056 "2026-06-01T07:27:08Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\ **Post date:** [June 1, 2026, 7:27am UTC](https://sel4.discourse.group/t/gapfruit-joins-the-sel4-foundation/1056/1 "2026-06-01T07:27:08Z")
We are pleased to welcome a new [member](https://sel4.systems/Foundation/Membership/) - [Gapfruit](https://www.gapfruit.com/) - to the [seL4 Foundation](https://sel4.systems/Foundation/). 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](https://trustedcomputinggroup.org/). 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](https://sel4.systems/Summit/2023/abstracts2023.html#a-panel) and [talks](https://sel4.systems/Summit/2023/abstracts2023.html#a-showcase-microkernel). ![gapfruit](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/e8e66d93bd1c43bc98ad5453b99d6b3e561f1c2b.png) ![sel4-foundation-logo](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/0552fd9659e1797069fa253ac2957515337b00a3.png)