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? Please 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