![](https://secure.gravatar.com/avatar/96d1d7bba24df545b52cd845d16c75be.jpg?s=120&d=mm&r=g)
14 Jun
2024
14 Jun
'24
4:25 p.m.
Have a look at the program [0] of the seL4 summit 2024 [1]. We have a great line-up of interesting seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and birds-of-a-feather sessions. [0] https://sel4.systems/Foundation/Summit/2024/program [1] https://sel4.systems/Foundation/Summit/2024/ 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
86
Age (days ago)
86
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list