(seL4 summit) program is out, please share it! :)
27 Jun
2023
27 Jun
'23
1:20 a.m.
Dear seL4 summit PC, As you may have seen, we have announced the program for the seL4 summit 2023. Please share it in your circles! https://sel4.systems/news/2023#summit-program-2023 https://www.linkedin.com/posts/sel4_program-of-the-sel4-summit-2023-activity... Thanks! June
794
Age (days ago)
794
Last active (days ago)
0 comments
1 participants
participants (1)
-
June Andronick (seL4 Foundation)