July 2025 - Announce - lists.sel4.systems

seL4 summit 2025 sponsorship opportunities closing soon (8 Aug)
by Announcements about seL4 -- low volume list 30 Jul '25

30 Jul '25

The seL4 Summit [0] 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 [1]. Email us at summit(a)sel4.systems to reserve your sponsorship, ask questions or talk about different options. [0] https://sel4.systems/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/sponsor/ 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>

1 0

Happy seL4 day!
by Announcements about seL4 -- low volume list 29 Jul '25

29 Jul '25

Happy seL4 day! On July 29, 2009, the last "sorry" of the seL4 functional correctness proof was eliminated. A "sorry" is an assumed theorem lacking a complete proof. "0 sorries" meant there was nothing left to prove: the project was finished. We now celebrate this day every year to mark the seL4 day, when the world's first formally verified kernel with a machine-checked code-level proof came into existence. In July 2014, on the 29th to make the "seL4 day" a double-celebratory day, the seL4 code and proofs became open source, paving the way to the widespread use [0] it enjoys today. A big thank-you to all for your continued support! Learn more about the history of seL4 [1]. [0] https://sel4.systems/use.html [1] https://sel4.systems/About/history.html 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>

1 0

seL4 summit 2025 early-bird registration ends in 1 week
by Announcements about seL4 -- low volume list 25 Jul '25

25 Jul '25

A friendly reminder that the early bird cut-off date for the seL4 summit 2025 [0] is 3 August 2025. The summit will be held in Prague, Czech Republic, 3 - 5 September 2025. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception Register here [1] A number of informal social activities [2] are also being organised. Check out the list and contact the organiser to register your interest. [0] https://sel4.systems/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Summit/2025/program.html#social 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>

1 0

seL4 summit 2025 early-bird registration ends in 2 weeks
by Announcements about seL4 -- low volume list 18 Jul '25

18 Jul '25

The early bird cut-off date for the seL4 summit 2025 [0] is 3 August 2025. The summit will be held in Prague, Czech Republic, 3 - 5 September 2025. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception Register here [1] A number of informal social activities [2] are also being organised. Check out the list and contact the organiser to register your interest. [0] https://sel4.systems/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Summit/2025/program.html#social 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>

1 0

The new seL4 docsite is live!
by Announcements about seL4 -- low volume list 16 Jul '25

16 Jul '25

We are excited to announce the launch of the new seL4 docsite [0]! This redesigned documentation site for the main seL4-related technologies provides a new structure and layout, improved navigation and easier access to information. The docsite content will continue to evolve with updates and maintenance, and we welcome contributions from the community on documentation, tutorials and manuals. We thank NCSC [1] for their funding of this project, which follows their support of the development of the new seL4 website [2]. We welcome your feedback and we hope you enjoy the new site! [0] https://docs.sel4.systems/ [1] https://www.ncsc.gov.uk/ [2] https://sel4.systems/ 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>

1 0