As part of the summit, we'll be running a panel session "OS on seL4: so many options!"

We compiled a list of groups who could send representatives: UNSW, Google, Gapfruit, Magnetite (MIT), Kry10, Hensoldt Cyber.

We will reach out to the groups to ask for representatives (one per group) to sit on the panel.

Please let us know by Wed 21 Jun if you would like us to modify the above, or if you have any further suggestions.

cheers

Birg, on behalf of the chairs, Darren and Ihor