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>, a forum for attempting to build
up an seL4 knowledge base.
- seL4 Mattermost at <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> for open discussion about
major changes to the seL4 ecosystem.
For more information see: <https://docs.sel4.systems/processes/#contact>
Versioned Releases
* seL4 11.0.0: The seL4 microkernel
<https://docs.sel4.systems/releases/sel4/11.0.0>
* CAmkES camkes-3.8.0: Component Architecture for microkernel-based Embedded Systems
<https://docs.sel4.systems/releases/camkes/camkes-3.8.0>
* CapDL 0.1.0: Collection of tools for generating, parsing and loading CapDL
specifications of systems
<https://docs.sel4.systems/releases/capdl/0.1.0>
Update notes
* seL4 Buildsystem: System configuration and building using mostly CMake
<https://docs.sel4.systems/updates/buildsystem/11.0.x.html>
* seL4Test: Test suite for seL4
<https://docs.sel4.systems/updates/sel4test/11.0.x.html>
* sel4bench: sel4bench contains benchmarking applications and a support library for seL4
<https://docs.sel4.systems/updates/sel4bench/11.0.x.html>
* user_libs: Userlevel libraries on seL4
<https://docs.sel4.systems/updates/user_libs/11.0.x.html>
* The seL4 Run-time: A minimal runtime for running a C or C-compatible process in a
minimal seL4 environment
<https://docs.sel4.systems/updates/sel4runtime/11.0.x.html>
* Elfloader: For preparing the hardware for seL4 on ARM and RISC-V
<https://docs.sel4.systems/updates/elfloader/11.0.x.html>
* seL4 tutorials: Collection of tutorials for learning to use seL4 and its ecosystem
<https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html>
* camkes-vm: x86 Virtual Machine build as a CAmkES component
<https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html>
* camkes-arm-vm: Arm Virtual Machine build as a CAmkES component
<https://docs.sel4.systems/updates/camkes-arm-vm/camkes-3.8.x.html>
* seL4webserver: A reference for implementing applications on seL4
<https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html>
An seL4 discourse version of this email can be found at:
<https://sel4.discourse.group/t/19-november-2019/126>