Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation.

Below you can find links to release notes with updates to other supporting projects to come before the end of the year.

Versioned Releases:

* seL4 12.0.0 ~ https://docs.sel4.systems/releases/sel4/12.0.0

* CAmkES 3.9.0 ~ https://docs.sel4.systems/releases/camkes/camkes-3.9.0

* CapDL 0.2.0 ~ https://docs.sel4.systems/releases/capdl/0.2.0

For more information on who we are, what we do and how to contact us see:

https://sel4.systems/Foundation/

https://docs.sel4.systems/processes/#contact

🙂