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
--
Kent McLeod
Kernel engineer
DATA61 | CSIRO
E kent.mcleod at data61.csiro.au
www.data61.csiro.au
CSIRO's Digital Productivity business unit and NICTA have joined forces
to create digital powerhouse Data61
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
