We have an exciting line-up of speakers and talks for the seL4 summit 2024. There will be a wide variety of presentations, including technical discussions, research and development and experience reports of seL4 in the field.
Register here for the seL4 summit 2024.
We look forward to seeing you in Sydney, in October!
