seL4 Version 9.0.0 Release

Announcing the release of seL4 9.0.0 with the following changes:

9.0.0 2018-04-11: BREAKING

Changes

Upgrade notes


Full changelog

Refer to the git log in https://github.com/seL4/seL4 using git log 8.0.0..9.0.0

More details

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