12 Sep
2025
12 Sep
'25
8:39 a.m.
Hi June Did you have slides to add to Sched <https://sched.com/> for your announcements, or should we only link to the youtube video when we put up the slides and videos? cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>