Dear PC 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 --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm