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