# seL4 summit 2024 sponsorship opportunities closing soon

**URL:** <https://sel4.discourse.group/t/sel4-summit-2024-sponsorship-opportunities-closing-soon/872>\
**Category:** Uncategorized\
**Created:** [September 1, 2024, 9:30pm UTC](https://sel4.discourse.group/t/sel4-summit-2024-sponsorship-opportunities-closing-soon/872 "2024-09-01T21:30:41Z")\
**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:** [September 1, 2024, 9:30pm UTC](https://sel4.discourse.group/t/sel4-summit-2024-sponsorship-opportunities-closing-soon/872/1 "2024-09-01T21:30:41Z")

</div>

The seL4 Summit 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 benefit 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_2024](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/97fe451a9a79aea2ef246b1ed0a1bfb90c1254ec.png)