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: https://sel4.systems/Foundation/ https://docs.sel4.systems/processes/#contact