- About -
- Register for summit +
- Registration
- Location & Venue
- Submissions and Call for Presentations +
- Program & Abstracts
- Keynote Speakers -
- Latest news: Program & Abstracts - +
- Latest news: Training day @ UNSW
- Program Committee
- Sponsors
- Contact @@ -112,6 +111,14 @@
- Your own laptop +
- Your own laptop with Docker installed. +
+
+
+ Submissions and Call for Presentations
+
+
+ Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
+
+
@@ -127,15 +134,6 @@
-
-
- Submissions and Call for Presentations
-
-
- Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
-
-
-
Keynote Speakers
@@ -175,6 +173,77 @@
+
+
+ Training day @ UNSW
+
+
+ 18 October 2024
+
+
+ Room G10 in the Electrical Engineering Building
+
+ Registration for training day
+
+ Register for the LionsOS, Rust or both tutorials
+
+
+ Training day @ UNSW is free, but please register by 15 September 2024 so that we can account for numbers. Lunch is not included but there are plenty of coffee and food outlets on campus.
+
+
+ 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.
+
+
+ See the training in the program.
+
+ What to bring:
+
+
+
+
+ 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.
+
+
+ See the training in the program.
+
+ What to bring:
+
+
+
+
+
+
Program Committee
diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html
index 0237f743..7807aaa2 100644
--- a/Foundation/Summit/2024/program.html
+++ b/Foundation/Summit/2024/program.html
@@ -354,18 +354,18 @@ Summit
- Day 4 18 October 2024 Training day @UNSW (TBC)
+ Day 4 18 October 2024 Training day @ UNSW (TBC)
-
-
+ 10:00 - 12:30
Training
- Using Lions OS
Ivan Velickovic,
+ Using LionsOS
Ivan Velickovic,
UNSW Sydney
-
-
+ 14:00 - 16:30
Training
- Rust Support in seL4 Userspace
Nick Spinale,
+ Using Rust in seL4 Userspace
Nick Spinale,
Colias Group, LLC
+ Submissions and Call for Presentations +
+
+ Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
+
@@ -127,15 +134,6 @@
- Submissions and Call for Presentations -
-
- Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
-
Keynote Speakers
@@ -175,6 +173,77 @@
+ Training day @ UNSW +
++ 18 October 2024 +
++ Room G10 in the Electrical Engineering Building +
+Registration for training day
++ Register for the LionsOS, Rust or both tutorials +
++ Training day @ UNSW is free, but please register by 15 September 2024 so that we can account for numbers. Lunch is not included but there are plenty of coffee and food outlets on campus. +
+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. +
++ See the training in the program. +
+What to bring:
+-
+
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.
+
+ See the training in the program. +
+What to bring:
+-
+
Program Committee
diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html
index 0237f743..7807aaa2 100644
--- a/Foundation/Summit/2024/program.html
+++ b/Foundation/Summit/2024/program.html
@@ -354,18 +354,18 @@ Summit
- Day 4 18 October 2024 Training day @UNSW (TBC)
+ Day 4 18 October 2024 Training day @ UNSW (TBC)
-
-
+ 10:00 - 12:30
Training
- Using Lions OS
Ivan Velickovic,
+ Using LionsOS
Ivan Velickovic,
UNSW Sydney
-
-
+ 14:00 - 16:30
Training
- Rust Support in seL4 Userspace
Nick Spinale,
+ Using Rust in seL4 Userspace
Nick Spinale,
Colias Group, LLC
Ivan Velickovic, +
Ivan Velickovic, UNSW Sydney
Nick Spinale, +
Nick Spinale, Colias Group, LLC