We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2023, in a session OS on seL4: so many options!. Gapfruit, Kry10, Magnetite (MIT), and UNSW will present their views on the priorities and vision for their OS on seL4. The panel will be moderated by Todd Carpenter from Galois.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Check out the seL4 summit 2024 program and abstracts
|
0 | 9 | August 18, 2024 | |
Dates and venue confirmed for the seL4 summit 2023
|
0 | 133 | April 14, 2023 | |
One week to go to submit a talk for seL4 summit 2023!
|
0 | 123 | April 17, 2023 | |
The seL4 summit 2023 will be held in Minneapolis, USA
|
0 | 132 | February 10, 2023 | |
The seL4 summit 2024 will be held in Sydney, Australia
|
0 | 62 | February 9, 2024 |