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 | |
|---|---|---|---|---|
|
Panellists for seL4 summit announced
|
0 | 179 | September 26, 2022 | |
|
Panellists for seL4 Summit 2025 announced
|
0 | 4 | August 1, 2025 | |
|
Check out the seL4 summit 2024 program and abstracts
|
0 | 19 | August 18, 2024 | |
|
Check out the seL4 summit 2025 program and abstracts
|
0 | 14 | August 8, 2025 | |
|
Meet the Program Committee of the seL4 summit 2023
|
0 | 147 | February 13, 2023 |