Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation.
Below you can find links to release notes.
Versioned Releases:
* seL4 12.1.0 ~ https://docs.sel4.systems/releases/sel4/12.1.0
* CAmkES 3.10.0 ~ https://docs.sel4.systems/releases/camkes/camkes-3.10.0
* CapDL 0.2.1 ~ https://docs.sel4.systems/releases/capdl/0.2.1
For more information on who we are, what we do and how to contact us see: