# 19 November 2019

**URL:** https://sel4.discourse.group/t/19-november-2019/126
**Category:** Release Announcements
**Created:** [February 18, 2020, 9:44am UTC](https://sel4.discourse.group/t/19-november-2019/126 "2020-02-18T09:44:21Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![kent.mcleod](https://avatars.discourse-cdn.com/v4/letter/k/7ab992/32.png) [@kent.mcleod](https://sel4.discourse.group/u/kent.mcleod)
#### Post date: [February 18, 2020, 9:44am UTC](https://sel4.discourse.group/t/19-november-2019/126/1 "2020-02-18T09:44:21Z")

</div>

Announcing the releases of seL4, CAmkES, CapDL and updates of other supporting projects.  
**Note that this announcement refers to a series of release commits that occurred on 19-Nov-2019.**

See below for links to release notes.

In addition there are new ways to discuss seL4 and trustworthy systems:

- seL4 Discourse at [https://sel4.discourse.group](https://sel4.discourse.group), a forum for attempting to build up an seL4 knowledge base.
- seL4 Mattermost at [https://mattermost.ts.data61.csiro.au/sel4-external/](https://mattermost.ts.data61.csiro.au/sel4-external/) for online messaging (Signup link can be found on [seL4 Discourse](https://sel4.discourse.group/t/sel4-mattermost-sign-up-link/125) with a valid account).
- seL4 RFCs at [https://sel4.atlassian.net/projects/RFC](https://sel4.atlassian.net/projects/RFC) for open discussion about major changes to the seL4 ecosystem.

For more information see: [https://docs.sel4.systems/processes/#contact](https://docs.sel4.systems/processes/#contact)

## Versioned Releases

- [seL4 11.0.0](https://docs.sel4.systems/releases/sel4/11.0.0): The seL4 microkernel
- [CAmkES camkes-3.8.0](https://docs.sel4.systems/releases/camkes/camkes-3.8.0): Component Architecture for microkernel-based Embedded Systems
- [CapDL 0.1.0](https://docs.sel4.systems/releases/capdl/0.1.0): Collection of tools for generating, parsing and loading CapDL specifications of systems

## Update notes

- [seL4 Buildsystem](https://docs.sel4.systems/updates/buildsystem/11.0.x.html): System configuration and building using mostly CMake
- [seL4Test](https://docs.sel4.systems/updates/sel4test/11.0.x.html): Test suite for seL4
- [sel4bench](https://docs.sel4.systems/updates/sel4bench/11.0.x.html): sel4bench contains benchmarking applications and a support library for seL4
- [user\_libs](https://docs.sel4.systems/updates/user_libs/11.0.x.html): Userlevel libraries on seL4
- [The seL4 Run-time](https://docs.sel4.systems/updates/sel4runtime/11.0.x.html): A minimal runtime for running a C or C-compatible process in a minimal seL4 environment
- [Elfloader](https://docs.sel4.systems/updates/elfloader/11.0.x.html): For preparing the hardware for seL4 on ARM and RISC-V
- [seL4 tutorials](https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html): Collection of tutorials for learning to use seL4 and its ecosystem
- [camkes-vm](https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html): x86 Virtual Machine build as a CAmkES component
- [camkes-arm-vm](https://docs.sel4.systems/updates/camkes-arm-vm/camkes-3.8.x.html): Arm Virtual Machine build as a CAmkES component
- [seL4webserver](https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html): A reference for implementing applications on seL4