The videos and slides of the seL4 Summit 2026 are available online Videos of the seL4 Summit 2026 [0] are now available on the seL4 YouTube channel [1]! Links, slides, and posters can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 Summit 2026 a great success [5]! [0] https://sel4.systems/Summit/2026/ [1] https://www.youtube.com/playlist?list=PLd7rrADYxxQQ [2] https://sel4.systems/Summit/2026/program.html [3] https://sel4.systems/Summit/2026/abstracts2026.html [4] https://sel4.systems/Summit/2026/#gallery -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com