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.0.0: The seL4 microkernel
- CAmkES 3.9.0: Component Architecture for microkernel-based Embedded Systems
- CapDL 0.2.0: 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