Hi everyone Thanks for the summit reviews meeting this morning. You should have received an invite to view the Google Sheet: https://docs.google.com/spreadsheets/d/1UL84Vp1VhWiKQhW25PwYTqohKi_mw_QzsBlZ... Pls let me know if you didn't. More details on the program in the coming weeks! cheers Birg --- 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 9am-12pm Fri 9am-5pm