Hi Boyd I hope you enjoyed the summit. If you get a chance, can you please upload your 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>