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.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm