We are pleased to announce the release of 5.0.0 of seL4. Listed below are a few of the key changes in this release:
Below are the changes to the seL4 ABI and API: Generic changes: * Add missing case to seL4_getFault (seL4_Fault_DebugException) * Explicitly pack bootinfo data structures * Modify FinalizeLog syscall - Now returns a number of entries in the log * Extend bootinfo to support potentially arbitrary additional structures * Deprecate bootinfo management in libsel4 - a replacement, platsupport_get_bootinfo can be found in libsel4platsupport
x86 specific changes: * Pass VBE information from multiboot through bootinfo * Remove PAE support
x86-64 specific changes: * VT-x related cap and object definitions added * seL4_VMEnter syscall added
arm specific changes: * ARM-HYP: VCPU interface for manipulating banked registers added * plat: added nvidia tx1 support * ARM-HYP: Add support for save/restore of debug registers * Add aarch64 implementation
= Upgrade notes =
* This release breaks both API and ABI and is not source compatible with the earlier versions.
= Full changelog =
Use {{{git log 4.0.0..5.0.0}}} in https://github.com/seL4/seL4
= More details =
See the 5.0.0 manual (http://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf) included in the release for detailed descriptions of the new features.
The release tarballs can be directly downloaded from: https://github.com/seL4/seL4/archive/5.0.0.tar.gz
[9e143c75c68edcaefc5506caea341890 5.0.0.tar.gz]
Contributors: Adrian Danis Hesham Almatary Amirreza Zarrabi Kent McLeod Jack Suann Kofi Doku Atuah Amirreza Zarrabi Donny Yang Anna Lyons Stephen Sherratt Partha Susarla Thomas Sewell Frank Li Jeff Waugh Berkus Decker Corey Richardson Kent Mcleod
Please let us know of any issues that you run into by creating an issue in the issue tracker: https://github.com/seL4/seL4/issues