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: https://github.com/seL4/l4v/tree/master/spec/haskell
- kernel now has debug feature which outputs part of the user stack on a double fault
X86PageDirectoryGetStatusBitsallows users to get the status bits of a virtual address mapping. This is not supported on PAE.
- This release is source compatible.
git log 3.0.1..3.1.0 in https://github.com/seL4/seL4
See the 3.1.0 manual included in the release for detailed descriptions of the new features. Or ask on the mailing list!