Introducing seL4 5.2.0
Announcing the release of
with the following changes:
Below are the changes to libsel4:
seL4_FastMessageRegisters: Exposes number of registers used in IPC for more optimised user-level IPC stubs.
- Additional kernel entry types
VCPUFaultadded for benchmarking kernel entries.
x86 specific changes:
- multiboot memory map information passed to user-level through bootinfo extended regions
- Expose more seL4 constants
- This release potentially breaks ABI with the earlier versions if using benchmarking kernel configurations.
git log 5.1.0..5.2.0 in https://github.com/seL4/seL4
See the 5.2.0 manual included in the release or ask on the mailing list!