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


  • 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 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!