Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation . Below you can find links to the release notes. Updates to other supporting projects to come before the end of the year.
- seL4 12.1.0 : The seL4 microkernel
- CAmkES 3.10.0 : Component Architecture for microkernel-based Embedded Systems
- CapDL 0.2.1 : Collection of tools for generating, parsing and loading CapDL specification of systems
For more information on who we are, what we do and how to contact us see: https://docs.sel4.systems/processes