
Birg, I did not have any slides for the concluding remarks. Thanks, Robbie From: Birgit Brecknell <bbrcknl@gmail.com> Sent: Thursday, September 11, 2025 6:41 PM To: Robert VanVossen <Robert.VanVossen@dornerworks.com> Cc: Stacey Orlick <sorlick@contractor.linuxfoundation.org>; Summit <summit@sel4.systems> Subject: slide upload to sched CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. Hi Robbie I hope you enjoyed the summit. If you get a chance, can you please upload your concluding remarks slides to Sched<https://sched.com/>? Please follow these steps<https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hjEV6_4v7rOu2UlrGiXoYDXKCoamQGd4pUAp-BcPNXWoFFVy-fUw0v27qdBPaprVQNmhnSSkdWjf8YePGKCzagSmhKihTGmxbXyq_kPDZJpAYfQjY8GIfLjfhrYOBo8vKUSNBbXGJfLLr7dJ4ALLerUSn2oGfbUYcb5VvnPXtkIQriqitcwzXO7p0F4KaR91qAq539oHAi6> to upload (max file size is 50MB)! Alternatively, please send them to Stacey or me, and we can do it for you. We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse. 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>