[seL4 Announce] The videos and slides of the seL4 summit 2022 are available online

The videos and slides of the seL4 summit 2022 are available online

Videos of the seL4 summit 2022 are now available on the seL4 YouTube channel [0]! Links and slides can be found on the summit Program [1] and Abstracts [2] pages. Thanks to all the speakers for making the seL4 summit 2022 a great success!

[0] https://www.youtube.com/@seL4

[1] https://sel4.systems/Foundation/Summit/program [2] https://sel4.systems/Foundation/Summit/abstracts2022

---

Dr. Birgit Brecknell

Project Officer

Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au

seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems

0433 880 571

Mon 9am-5pm

Wed 9am-12pm

Fri 9am-5pm