# 09 November 2020

**URL:** <https://sel4.discourse.group/t/09-november-2020/238>\
**Category:** Release Announcements\
**Created:** [November 9, 2020, 1:05am UTC](https://sel4.discourse.group/t/09-november-2020/238 "2020-11-09T01:05:27Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![oliver.scott](https://avatars.discourse-cdn.com/v4/letter/o/bbe5ce/32.png) [@oliver.scott](https://sel4.discourse.group/u/oliver.scott)\
**Post date:** [November 9, 2020, 1:05am UTC](https://sel4.discourse.group/t/09-november-2020/238/1 "2020-11-09T01:05:27Z")

</div>

# November Release

Announcing the releases of seL4, CAmkES and CapDL under the [seL4 Foundation](https://sel4.systems/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.0.0](https://docs.sel4.systems/releases/sel4/12.0.0): The seL4 microkernel
- [CAmkES 3.9.0](https://docs.sel4.systems/releases/camkes/camkes-3.9.0): Component Architecture for microkernel-based Embedded Systems
- [CapDL 0.2.0](https://docs.sel4.systems/releases/capdl/0.2.0): 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](https://docs.sel4.systems/processes/#contact) 🙂