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
- 10.1.0 has a known broken test in the proofs. 10.1.1 fixes this test.
Refer to the git log in
git log 10.1.0..10.1.1
See the 10.1.1 manual included in the release or ask on the mailing list!