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