Announce

Download

announce@sel4.systems

September 2025

The videos and slides of the seL4 Summit 2025 are available online
by Announcements about seL4 -- low volume list 16 Sep '25

16 Sep '25

Videos of the seL4 Summit 2025 [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 2025 a great success [4]! [0] https://sel4.systems/Summit/2025/ [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Summit/2025/program.html [3] https://sel4.systems/Summit/2025/abstracts2025.html [4] https://sel4.systems/Summit/2025/#gallery 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