seL4 Summit 2024 Program
The seL4 Summit 2024 features a combination of technical research and development, real-world seL4 deployment insights, in-depth interactive discussions, thought-provoking keynote, panel discussions, as well as informal a training day and social activities. Videos are available on the seL4 YouTube channel.
Program-at-a-glance
Main Program
All times are local time in Sydney, Australia (GMT+11). Session chairs shown on right.
See the Schedule on LF Events.
Keynote
Darren Cofer, Collins Aerospace
Gerwin Klein, June Andronick, Rafal Kolanski, Corey Lewis, Michael McInerney, Proofcraft
David Cock, Mathieu Mirmont, Stevens Le Blond, Neutrality
Alwin Joshy, Kevin Elphinstone, Gernot Heiser, Craig McLaughlin, UNSW Sydney
Caitlyn Wilde, Wyeth Greenlaw Rollins, Alain Kägi, Lewis & Clark College
Gold sponsor
Daniel Schwyn, Zikai Liu, Timothy Roscoe, ETH Zurich
Courtney Darville, UNSW Sydney
Miki Tanaka, Johannes Åman Pohjola, Gernot Heiser, UNSW Sydney
Bill Ellis, James Nevell, Stephen Williams, Josh Felmeden, Daniel Storer, Tom Harvey, Capgemini
Jason Sebranek, Cog Systems, Inc.
Wanja Zaeske, Deutsches Zentrum für Luft- und Raumfahrt (DLR)
Keynote
June Andronick, seL4 Foundation
Nathan Studer, Alex Pavey, Zach Clark, Dariusz Mikulski, Cristian Balas, Yale Empie, DornerWorks, US Army - Ground Vehicle Robotics
Nils Wistoff, Gernot Heiser, Luca Benini, ETH Zurich, UNSW Sydney, University of Bologna
Roman Meier, Zikai Liu, Ben Fiedler, Timothy Roscoe, ETH Zurich
Training Day @ UNSW
18 October 2024
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 designed 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.
Using Rust in seL4 Userspace
Nick Spinale, Colias Group, LLC
14:00 - 16:30
Rust 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.
Social Activities
-
Blue Mountains bush walk
Gernot will take group for a walk in the stunning Blue Mountains on Sunday 13 Oct 2024.
-
Bondi to Coogee walk
On Monday 14 Oct 2024, 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 has organised, and will join, a guided tour of The Rocks for Monday 14 Oct 2024, which gives an account of Sydney's colonial heritage.
-
A guided tour of the Maritime Museum
Peter will lead a guided tour of the Australian National Maritime Museum on 19 Oct 2024.