<div dir="ltr"><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Announcements about seL4 -- low volume list</b> <span dir="ltr"><announce@sel4.systems></span><br>Date: 21 December 2016 at 14:45<br>Subject: [seL4 Announce] seL4 4.0.0<br>To: announce@sel4.systems<br><br><br>The Trustworthy Systems at Data61 (formerly NICTA) is pleased to<br>
announce seL4 release 4.0.0.<br>
<br>
The new release contains a number of new features, most notably the<br>
following:<br>
<br>
  - support for the x64 platform<br>
  - support for VT-x on the multicore ia32 platform<br>
  - robustness improvements for handling device registers<br>
  - API simplifications<br>
<br>
The full list is available at <a href="https://wiki.sel4.systems/seL4%204.0.0" rel="noreferrer" target="_blank">https://wiki.sel4.systems/<wbr>seL4%204.0.0</a><br>
<br>
We are also pleased to announce the first post at the new seL4 blog at<br>
<a href="https://research.csiro.au/tsblog/introducing-device-untyped-memory-sel4" rel="noreferrer" target="_blank">https://research.csiro.au/<wbr>tsblog/introducing-device-<wbr>untyped-memory-sel4</a><br>
<br>
Stay tuned for further posts on and around seL4.<br>
<br>
2016 was an exciting year for seL4 with a lot of new developments, and<br>
great contributions from the community.<br>
<br>
We think that 2017 will be even better, with VT-x support for x64 in the<br>
pipeline, multicore support for ARM maturing, and formal verification for<br>
the x64 and ARM-hyp platforms scheduled to come out in the first half of<br>
the year.<br>
<br>
We’d like to thank everybody on this list for their support and enthusiasm.<br>
There are more cool things to come!<br>
<br>
Enjoy!<br>
<br>
______________________________<wbr>_________________<br>
Announce mailing list<br>
Announce@sel4.systems<br>
<a href="https://sel4.systems/lists/listinfo/announce" rel="noreferrer" target="_blank">https://sel4.systems/lists/<wbr>listinfo/announce</a><br>
</div><br></div>