# seL4 summit 2025 sponsorship opportunities

**URL:** <https://sel4.discourse.group/t/sel4-summit-2025-sponsorship-opportunities/948>\
**Category:** Uncategorized\
**Created:** [March 12, 2025, 5:20am UTC](https://sel4.discourse.group/t/sel4-summit-2025-sponsorship-opportunities/948 "2025-03-12T05:20:31Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\
**Post date:** [March 12, 2025, 5:20am UTC](https://sel4.discourse.group/t/sel4-summit-2025-sponsorship-opportunities/948/1 "2025-03-12T05:20:31Z")

</div>

The [seL4 Summit](https://sel4.systems/Foundation/Summit/2025/) is the annual international summit on the seL4 microkernel, the  
world’s most highly assured OS kernel, as well as on all seL4-related technology, tools,  
infrastructure, products, projects, and people.

The seL4 Summit gathers the seL4 community to learn, share, and connect:  
Learn — about the seL4 technology, its latest progress, use, successes, challenges, and plans  
Share — exciting seL4 development, research, experience, and application in the real world  
Connect — with other seL4 developers, users, providers, supporters, and potential partners

Your benefits as a sponsor:

- Get strong visibility as a major player in the seL4 ecosystem
- Showcase your seL4-based products, technology and services to target audiences in the field of seL4
- Support the open-source technology and community
- Connect directly with attendees through the expo booth, branding materials, and videos

For sponsorship packages and opportunities, visit [Sponsor | LF Events](https://events.linuxfoundation.org/sel4-summit/sponsor/).

Email us at summit@sel4.systems to reserve your sponsorship, ask questions or talk about different options.

 ![sel4_summit_2025](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/6d81388da7f33b21144410db0a5d8da71750f2bf.png)