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