Hi Boyd

I hope you enjoyed the summit. If you get a chance, can you please upload your slides to SchedPlease follow these steps 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
bbrcknl@gmail.com