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

More details

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