Introducing seL4 5.1.0

Announcing the release of seL4 5.1.0 with the following changes:

Below are the changes to the seL4 ABI:

x86-64 specific changes:

  • implement seL4_BenchmarkFlushCaches debug syscall.

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

Upgrade notes

  • This release potentially breaks ABI with the earlier versions if using benchmarking kernel configurations.

Full changelog

Use git log 5.0.0..5.1.0 in https://github.com/seL4/seL4

More details

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