September 2025 - Summit - lists.sel4.systems

Automatic reply: seL4 Summit 2025 - Survey Reminder & Session Videos
by Tessa Lunney 16 Sep '25

16 Sep '25

Hi, I'm not at work at the moment. As I'm taking some annual leave, I'll return to work on Friday September 19th 2025. I look forward to answering your email then. Please note that my usual work days are Monday, Wednesday, and Thursday. Regards, Tessa Lunney This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.

1 0

Automatic reply: seL4 Summit 2025 - Survey Reminder & Session Videos
by Debbie Verbrugge 16 Sep '25

16 Sep '25

Hello! I am out of the office; I'll look forward to responding to your email when I return. Debbie

1 0

slide upload to sched
by Birgit Brecknell 16 Sep '25

16 Sep '25

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_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 1

账户异常登录提醒
by admin 15 Sep '25

15 Sep '25

1 0

账户异常登录提醒
by administrator 13 Sep '25

13 Sep '25

1 0

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

Hi Nick I hope you enjoyed the summit. If you get a chance, can you please upload your welcome slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

4 3

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

Hi June Did you have slides to add to Sched <https://sched.com/> for your announcements, or should we only link to the youtube video when we put up the slides and videos? cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 1

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

Hi Yanyan 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_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

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_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Sel4 expert introduction
by ngaio.merrick＠gmail.com 11 Sep '25

11 Sep '25

Hi I am a venture capitalist researching due diligence into a company using Sel4 technology to deliver a platform. As part of our due diligence, we are looking to speak with an expert in Sel4 to verify the information sent by the company. Are you able to make an introduction to any of your panellists for the summit earlier this month? Or any of the program committee? We need about 12 minutes of their time. Much appreciated Kind regards Ngaio +64 21 741 742 Ngaio.merrick(a)gmail.com <mailto:Ngaio.merrick@gmail.com> General Partner Nuance Connected Capital

3 2