The seL4 summit Program is available
29 Jun
2022
29 Jun
'22
2:37 p.m.
Have a look at the seL4 summit Program! We have an amazing line-up of cool 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, as well as a whole day of seL4 bootcamp with tutorials and training. https://sel4.systems/Foundation/Summit/program https://sel4.systems/Foundation/Summit/program Stay tuned for registration information, and see you in Munich in October! June
895
Age (days ago)
895
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list