Introducing seL4 3.2.0

  • ARM Hypervisor support.
  • ARM Jetson-TK1: Cleanup.
  • Benchmarking now supports tracking of syscalls.
  • Support for XSAVE feature set for x86 CPUs.
  • Simplified ARM platform selection during configuration.

Implementation improvements

  • Several enhancements for both x86 and ARM have been made. Please see the commit log for details.

API Changes

  • No API changes in this release.

ABI Changes

  • seL4_BootInfo has a new entry for IOSpace caps for ARM SMMU.

Upgrade notes

  • This release is source compatible.

Full changelog

Use git log 3.1.0..3.2.0 in https://github.com/seL4/seL4

More details

See the 3.2.0 manual included in the release for detailed descriptions of the new features. Or ask on the mailing list!