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.
Email us at summit@sel4.systems to reserve your sponsorship, ask questions or talk about different options.
