best potential for auditable "base" OS stack? - was [seL4 Announce] seL4 4.0.0

[Zenaan Harkness]

Auditable hardware is an open question yet, yet snippets of inspiration
appear still.

Anyone here looked at L4 or seL4 or other "micro-core" OS code, from
perspective of hardening?

Because, you know, Linux is so secure an all.

"One attack surface at a time" is the principle here ...




----- Forwarded message from Announcements about seL4 -- low volume list <announce at sel4.systems> -----
Date: Wed, 21 Dec 2016 10:45:00 +0000
From: Announcements about seL4 -- low volume list <announce at sel4.systems>
Subject: [seL4 Announce] seL4 4.0.0

The Trustworthy Systems at Data61 (formerly NICTA) is pleased to
announce seL4 release 4.0.0.

The new release contains a number of new features, most notably the
following:

  - support for the x64 platform
  - support for VT-x on the multicore ia32 platform
  - robustness improvements for handling device registers
  - API simplifications

The full list is available at https://wiki.sel4.systems/seL4%204.0.0

We are also pleased to announce the first post at the new seL4 blog at
https://research.csiro.au/tsblog/introducing-device-untyped-memory-sel4

Stay tuned for further posts on and around seL4.

2016 was an exciting year for seL4 with a lot of new developments, and
great contributions from the community.

We think that 2017 will be even better, with VT-x support for x64 in the
pipeline, multicore support for ARM maturing, and formal verification for
the x64 and ARM-hyp platforms scheduled to come out in the first half of
the year.

We’d like to thank everybody on this list for their support and enthusiasm.
There are more cool things to come!

Enjoy!

_______________________________________________
Announce mailing list
Announce at sel4.systems
https://sel4.systems/lists/listinfo/announce

----- End forwarded message -----

-- 
* Certified Deplorable Neo-Nazi Fake News Hunter (TM)(C)(R)
* Executive Director of Triggers, Ministry of Winning
* Weapons against traditional \/\/European\/\/ values:
http://davidduke.com/jewish-professor-boasts-of-jewish-pornography-used-as-a-weapon-against-gentiles/
* How Liberal Lefties view the world:
http://bbs.dailystormer.com/uploads/default/optimized/3X/0/4/042cb95724339d5df43eab11e5e714e506dadc7e_1_600x329.jpg