15 June 2021 Release

June 2021 Release

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.

Versioned Releases

  • seL4 12.1.0 : The seL4 microkernel
  • CAmkES 3.10.0 : Component Architecture for microkernel-based Embedded Systems
  • CapDL 0.2.1 : 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

1 Like