<div dir="ltr">Anyone interested in sel4 development ??<br><br><br><div><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername"></b> <span dir="ltr"><<a href="mailto:Parthasarathi.Susarlaajay@data61.csiro.au">Parthasarathi.Susarlaajay@data61.csiro.au</a>></span><br>Date: 13 December 2016 at 06:40<br>Subject: [seL4] RELEASE: Announcing seL4 4.0.0<br>To: devel@sel4.systems<br><br><br>We are pleased to announce the release of 4.0.0 of seL4. Listed below<br>
are a few of the key changes in this release:<br>
<br>
* Reorder bootinfo structure.<br>
* Add missing seL4_AllRights macro in libsel4.<br>
* Disallow kernel from using a device frame as an IPC buffer.<br>
* Syscall docs in manual now generated by doxygen.<br>
* Changes to make verification easier.<br>
* Various documentation fixes.<br>
* Benchmarks refactoring.<br>
* Coding style fixes.<br>
* Support for TLB and Cache management.<br>
* Preemptible backwards memzero for Retype.<br>
* Support for TCB operations in X86 multicore.<br>
* Support for raspberry-pi 3.<br>
<br>
ARM specific changes:<br>
* ARM Hyp refactoring.<br>
* Update VCPU fault definitions.<br>
* Add userspace invocations for hardware debugging.<br>
* Enable PMU export for V8.<br>
* Support ARM MPCore registers<br>
* Fix config dependency for 'IPC Buffer location'.<br>
* Use new cap rights structures in iospace.<br>
* Move initial setting of TPIDRURW register.<br>
* Add seL4_BenchmarkFlushCaches() for arm and ia32.<br>
* Support for prefetcher on Cortex-A9.<br>
* Fix fastpath_restore on ARM Hyp and implement slowpath and restore in<br>
C.<br>
* am335x: Prevent out of bounds array access.<br>
* TK1<br>
  + Remove temporary SMMU memory mapping support.<br>
  + Correct SMMU PD and PT indexing.<br>
  + Split the mux controller from the misc region.<br>
* OMAP:<br>
  + Fix issues with OMAP IRQ Code.<br>
<br>
X86 specific changes:<br>
* Add userspace invocations for hardware debugging.<br>
* Avoid writing the fs/gs base unless necessary.<br>
* Explicitly declare adress of .phys.bss.<br>
* Add BSS regions for BOOT and PHYS code.<br>
* Write FS and GS base when restoring user context.<br>
* Initialize store area when using XSAVE variant instructions.<br>
* Efficiently pack objects for fastpath.<br>
* Increase IPI words to 3.<br>
* Support for x2APIC.<br>
* Support larger XSAVE region sizes.<br>
* Change ia32 to use fs register for IPC buffer.<br>
* Update the bootinfo for number of cores.<br>
* Initial support for SMP vt-x.<br>
* Split CPU ID management into mode and general.<br>
* Fix cpuid family/model composition.<br>
* Add X86_64 support.<br>
<br>
<br>
Please note that this release is not source compatible with earlier<br>
releases of seL4, please read <a href="https://research.csiro.au/tsblog/introduc
ing-device-untyped-memory-sel4/" rel="noreferrer" target="_blank">https://research.csiro.au/<wbr>tsblog/introduc<br>
ing-device-untyped-memory-<wbr>sel4/</a> for more information regarding the<br>
changes.<br>
<br>
The release tarballs can be directly downloaded from:<br>
<a href="https://github.com/seL4/seL4/archive/4.0.0.tar.gz" rel="noreferrer" target="_blank">https://github.com/seL4/seL4/<wbr>archive/4.0.0.tar.gz</a><br>
<br>
[<wbr>259d9eadaddef579c2b98b91cf40d1<wbr>3a  4.0.0.tar.gz]<br>
<br>
The manual for this release can be downloaded here: <br>
<a href="http://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf" rel="noreferrer" target="_blank">http://sel4.systems/Info/Docs/<wbr>seL4-manual-4.0.0.pdf</a><br>
<br>
<br>
Contributors:<br>
* Adrian Danis<br>
* Alexander Boettcher<br>
* Amirreza Zarrabi<br>
* Anna Lyons<br>
* Christian Helmuth<br>
* Corey Richardson<br>
* Donny Yang<br>
* Hesham Almatary<br>
* Jeff Waugh<br>
* Joel Beeren<br>
* Kent McLeod<br>
* Kofi Doku Atuah<br>
* Matthew Brecknell<br>
* Matthew Fernandez<br>
* Matt Rice<br>
* Rafal Kolanski<br>
* Stephen Sherratt<br>
* Thomas Sewell<br>
* Xin,Gao<br>
<br>
Please let us know of any issues that you run into by creating an issue<br>
in the issue tracker: <a href="https://github.com/seL4/seL4/issues" rel="noreferrer" target="_blank">https://github.com/seL4/seL4/<wbr>issues</a><br>
<br>
-- <br>
Partha Susarla<br>
Kernel engineer<br>
DATA61 | CSIRO<br>
E <a href="mailto:parthasarathi.susarla@data61.csiro.au">parthasarathi.susarla@data61.<wbr>csiro.au</a><br>
<a href="http://www.data61.csiro.au" rel="noreferrer" target="_blank">www.data61.csiro.au</a><br>
<br>
CSIRO's Digital Productivity business unit and NICTA have joined forces<br>
to create digital powerhouse Data61<br>
______________________________<wbr>_________________<br>
Devel mailing list<br>
Devel@sel4.systems<br>
<a href="https://sel4.systems/lists/listinfo/devel" rel="noreferrer" target="_blank">https://sel4.systems/lists/<wbr>listinfo/devel</a><br>
</div><br></div></div>