September 2024 - Announce - lists.sel4.systems

Lewis & Clark College joins the seL4 Foundation
by Announcements about seL4 -- low volume list 30 Sep '24

30 Sep '24

The seL4 Foundation is pleased to welcome Lewis & Clark College [0] as our latest member [1]. Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL). [0] https://www.lclark.edu/ [1] https://sel4.systems/Foundation/Membership/ 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

Less than 1 week left to get the early-bird registration for the seL4 summit
by Announcements about seL4 -- low volume list 09 Sep '24

09 Sep '24

Less than 1 week left to get the early-bird registration for the seL4 summit The early bird cut-off date for the seL4 summit 2024 [0] is 15 September 2024. The summit will be held in Sydney, Australia, 15-17 October 2024. 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 and dinner Register here [1] A number of informal social activities [2] are being organised by local Sydney-siders. Check out the list [2] and contact the organiser to register your interest. [0] https://sel4.systems/Foundation/Summit/2024/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Foundation/Summit/2024/social-activities 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

Welcome Kry10, Gold sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 06 Sep '24

06 Sep '24

The seL4 Foundation thanks Kry10 [0] for becoming a Gold sponsor of the seL4 Summit 2024 [1]. Kry10 offers a full-featured operating system on top of the seL4 kernel, along with tooling, services, key management and more. The Kry10 Platform is a fast and easy way to build highly secure, next-generation cyber-physical devices. It leverages the verification of seL4 to provide a secure, self-healing, truly dynamic system with minimal downtime, even during upgrades. Kry10 is and Endorsed Service Provider [2] of the seL4 Foundation, offering support to enable seL4-based secure projects to be affordable, maintainable, and remotely manageable. See here [3] if you are interested in sponsoring the seL4 summit 2024. [0] https://www.kry10.com/ [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://sel4.systems/Foundation/Services/ [3] 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

Less than 2 weeks left to get the early-bird registration for the seL4 summit
by Announcements about seL4 -- low volume list 02 Sep '24

02 Sep '24

Less than 2 weeks left to get the early-bird registration for the seL4 summit The early bird cut-off date for the seL4 summit 2024 [0] is 15 September 2024. The summit will be held in Sydney, Australia, 15-17 October 2024. 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 and dinner Register here [1] A number of informal social activities [2] are being organised by local Sydney-siders. Check out the list [2] and contact the organiser to register your interest. [0] https://sel4.systems/Foundation/Summit/2024/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Foundation/Summit/2024/social-activities 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 2024 sponsorship opportunities closing soon
by Announcements about seL4 -- low volume list 02 Sep '24

02 Sep '24

seL4 summit 2024 sponsorship opportunities closing soon 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 [1]. Email us at summit(a)sel4.systems to reserve your sponsorship, ask questions or talk about different options. [0] https://sel4.systems/Foundation/Summit/2024/ [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