List overview
Download

Announce November 2020

announce@sel4.systems

November release
by Announcements about seL4 -- low volume list 09 Nov '20

09 Nov '20

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 🙂

1 0