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://www.linkedin.com/posts/sel4_program-of-the-sel4-summit-2023-activity-7079112999155707906-g4ir?utm_source=share&utm_medium=member_desktop
Thanks!
June