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 | |
|
Meet the Program Committee of the seL4 summit 2023
|
0 | 147 | February 13, 2023 | |
|
seL4 Summit 2022: Call for Participation!
|
0 | 203 | August 15, 2022 | |
|
Meet the Program Committee of the seL4 summit 2022
|
0 | 213 | March 18, 2022 | |
|
Register for the summit
|
0 | 141 | May 10, 2023 |