Introducing seL4 3.1.0

  • Adds single-core support for HiKey cortex-a53 board, in 32 bit mode (non-verified). This is the first armv8 platform seL4 supports.
  • haskell kernel moved to verification repos (used to be in seL4 repo, available here now:

Implementation improvements

  • kernel now has debug feature which outputs part of the user stack on a double fault

API Changes

API Additions

  • X86PageDirectoryGetStatusBits allows users to get the status bits of a virtual address mapping. This is not supported on PAE.

Upgrade notes

  • This release is source compatible.

Full changelog

Use git log 3.0.1..3.1.0 in

More details

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