Videos of the seL4 summit 2024 [0] are now available on the seL4 YouTube channel [1]! Links and slides can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 summit 2024 a great success! [0] https://sel4.systems/Foundation/Summit/2024/ [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Foundation/Summit/2024/program [3] https://sel4.systems/Foundation/Summit/2024/abstracts2024 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems mailto:birgit@sel4.systems bbrcknl@gmail.com mailto:bbrcknl@gmail.com