Dear seL4 community, Trustworthy Systems @Data61 is pleased to announce the release of seL4 Version 6.0.0. The main new features are: * multicore is now supported for ARMv7 (32-bit) * the FPU is now supported of ARMv7 (32-bit) Details are in the release notes: https://wiki.sel4.systems/seL4%206.0.0 Gernot on behalf of the Trustworthy Systems Team