seL4 Version 10.1.1 Release

Announcing the release of seL4 10.1.1 with the following changes:

10.1.1 2018-11-12: BINARY COMPATIBLE

Changes

  • Remove theoretical uninitialised variable use in infer_cpu_gic_id for binary translation validation

Upgrade Notes

  • 10.1.0 has a known broken test in the proofs. 10.1.1 fixes this test.

Full changelog

Refer to the git log in https://github.com/seL4/seL4 using git log 10.1.0..10.1.1

More details

See the 10.1.1 manual included in the release or ask on the mailing list!