- Announce - lists.sel4.systems

seL4 summit 2024 Anniversary Panel Session
by Announcements about seL4 -- low volume list 11 Oct '24

11 Oct '24

seL4 summit 2024 Anniversary Panel Session seL4 celebrated three key anniversaries in 2024 [0]. To celebrate these key anniversaries, a special panel will gather at the seL4 Summit 2024 [1] to reflect on the journey over the past 20 years and discuss the future ahead. The panel will cover the journey from the early days (2004-2009) to the developments over the years (2009-present), and then look to the future, with key players outlining their visions for seL4 in the next 20 years. The panel will be a mix of in-person anecdotes, videos, and quotes, including participants from Collins Aerospace, DARPA, Dornerworks, Kry10, Proofcraft, The University of Melbourne and UNSW. Nick Spinale The panel will be moderated by Nick Spinale from Colias Group, LLC. [0] https://sel4.systems/news/2024#sel4-day [1] https://sel4.systems/Foundation/Summit/2024/ 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 NIO, Silver sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 02 Oct '24

02 Oct '24

Welcome NIO, Silver sponsor of the seL4 Summit 2024 The seL4 Foundation thanks NIO [0] for becoming a Silver sponsor of the seL4 Summit 2024 [1]. NIO is a global EV company funded in 2015 and that went public in the U.S. in 2018. NIO emphasizes user experience and technology innovation. NIO is a strong supporter of seL4 and a premium member of the seL4 Foundation. It has been investing heavily on building a full-fledge software platform for modern vehicles based on seL4. [0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2024/ 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

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

seL4 summit 2024 social activities
by Announcements about seL4 -- low volume list 26 Aug '24

26 Aug '24

A number of informal social activities [0] are being organised by local Sydney-siders. Check out the list and contact the organiser [0] to register your interest. *Blue Mountains bush walk (TBC)* Gernot plans to take a group on a walk, most likely in the stunning Blue Mountains, which are about a 1.5 hours drive from Sydney. The details of this activity will be organised mid-September 2024. Stay tuned! *Bondi to Coogee walk* June will take a group on the iconic Bondi to Coogee walk, with optional dinner to follow at Coogee for people who are interested. *A guided tour of The Rocks* Birg will organise a guided tour of The Rocks, which gives an account of Sydney's colonial heritage. *Sailing in Sydney Harbour (TBC)* Peter plans to take a group sailing in the Sydney Harbour on a replica of the 1600s ship, the Duyfken. Includes light refreshments, beer, soft drinks etc. [0] 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

Training day @ UNSW
by Announcements about seL4 -- low volume list 23 Aug '24

23 Aug '24

As an addition to the seL4 summit 2024, we are offering an extra day on the Friday 18 October 2024 at UNSW for training[0] , on Lions OS and Rust. 18 October 2024 Room G10 in the Electrical Engineering Building [1] **Registration for training day** Register for the LionsOS, Rust or both tutorials [2] Training day @ UNSW is free, but please register by 15 September 2024 so that we can account for numbers. **Using LionsOS** Ivan Velickovic, UNSW Sydney 10:00 - 12:30 LionsOS is a new Operating Systems developed at Trustworthy Systems aimed at embedded, IoT, and cyberphysical systems. LionsOS is based on the seL4 Microkit and is desgined to formally verifiable, performant, and adaptable to a wide class of use-cases. LionsOS, by design, is not a conventional OS and hence it may be overwhelming for users who want to get started and are not familiar with the ideas and goals of LionsOS. This hands-on tutorial aims to ease people into creating a LionsOS-based system. We will be using the components and tools provided by LionsOS to, step-by-step, transform a minimal boilerplate system to a functional system involving various drivers, virtual machines and other components. What to bring: Your own laptop **Using Rust in seL4 Userspace** Nick Spinale, Colias Group, LLC 14:00 - 16:30 Rust logoRust has been an officially supported language for use in seL4 userspace since last year's summit. In this workshop, participants will be led through a tutorial that demonstrates how to leverage Rust and its ecosystem to rapidly build memory-safe components for seL4-based systems. This tutorial will cover a range of scenarios, including Microkit protection domains as well as building on seL4 directly. What to bring: Your own laptop with Docker installed. [0] https://sel4.systems/Foundation/Summit/2024/#summit-training-day [1] https://www.learningenvironments.unsw.edu.au/physical-spaces/electrical-eng… [2] https://form.jotform.com/242312058251850 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

Check out the seL4 summit 2024 program and abstracts
by Announcements about seL4 -- low volume list 19 Aug '24

19 Aug '24

We have an exciting line-up of speakers [0] and talks [1] for the seL4 summit 2024 [2]. There will be a wide variety of presentations, including technical discussions, research and development and experience reports of seL4 in the field. Register here [3] for the seL4 summit 2024. We look forward to seeing you in Sydney, in October! [0] https://sel4.systems/Foundation/Summit/2024/program [1] https://sel4.systems/Foundation/Summit/2024/abstracts2024 [2] https://sel4.systems/Foundation/Summit/2024/ [3] https://events.linuxfoundation.org/sel4-summit/register/ 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