Hello Birgit,

 

Slides are uploaded.

 

Regards,

Yanyan

 

 

From: Birgit Brecknell <bbrcknl@gmail.com>
Sent: Thursday, September 11, 2025 3:30 PM
To: Yanyan Shen <Yanyan.shen@nio.io>
Cc: Stacey Orlick <sorlick@contractor.linuxfoundation.org>; Summit <summit@sel4.systems>
Subject: slide upload to sched

 

CAUTION! External Email. Do not click links or open attachments unless you recognize the sender and know the content is safe.

Hi Yanyan

 

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

 

This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. You may NOT use, disclose, copy or disseminate this information. If you have received this email in error, please notify the sender and destroy all copies of the original message and all attachments. Please note that any views or opinions presented in this email are solely those of the author and do not necessarily represent those of the company. Finally, the recipient should check this email and any attachments for the presence of viruses. The company accepts no liability for any damage caused by any virus transmitted by this email.