10 Nov
2022
10 Nov
'22
11 p.m.
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.aumailto:birgit.brecknell@unsw.edu.au seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm