Introducing seL4 5.1.0
Announcing the release of
with the following changes:
Below are the changes to the seL4 ABI:
x86-64 specific changes:
Below are other changes that do not affect the seL4 ABI:
ARM specific changes:
- ARM-HYP: internal changes to support ARM-HYP verification work.
- kzm: fix timer reload overflow calculations
- This release potentially breaks ABI with the earlier versions if using benchmarking kernel configurations.
git log 5.0.0..5.1.0 in https://github.com/seL4/seL4
See the 5.1.0 manual included in the release or ask on the mailing list!