Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (17 sloc) 641 Bytes
version title
seL4 10.1.1

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!