The videos and slides of the seL4 summit 2023 are available online
18 Oct
2023
18 Oct
'23
3:53 p.m.
The videos and slides of the seL4 summit 2023 are available online Videos of the seL4 summit 2023 [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 2023 a great success! [0] https://sel4.systems/Foundation/Summit/2023 [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Foundation/Summit/2023/program [3] https://sel4.systems/Foundation/Summit/2023/abstracts --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit@sel4.systemsmailto:birgit@sel4.systems birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
435
Age (days ago)
435
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list