We have an exciting line-up of speakers and talks for the seL4 summit 2025. 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 2025.
We look forward to seeing you in Prague, in September!
