Panellists for seL4 summit announced
We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2023 [0], in a session OS on seL4: so many options! [1]. 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.
[0] https://sel4.systems/Foundation/Summit/2023/ [1] https://events.linuxfoundation.org/sel4-summit/program/schedule/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm