seL4 Version 9.0.1 Release
Announcing the release of
seL4 9.0.1 with the following changes:
9.0.1 2018-04-18: BINARY COMPATIBLE
- On 64-bit architectures, the
seL4_MessageInfois now 52 bits wide. User-level programs which use any of the following functions may break, if the program relies on these functions to mask the
labelfield to the previous width of 20 bits. For more detail, see our explanation on the seL4 mailing list.
- Initial prototype RISC-V architecture port. This port currently only supports running in 64-bit mode without FPU or or multicore support on the Spike simulation platform. There is no verification for this platform.
Refer to the git log in
git log 9.0.0..9.0.1
See the 9.0.1 manual included in the release or ask on the mailing list!