Genode OS 16.08 Released With seL4 Kernel Improvements
Written by Michael Larabel in Operating Systems on 31 August 2016 at 08:46 AM EDT. 1 Comment
OPERATING SYSTEMS --
A new release of the Genode operating system framework is now available.

Genode OS 16.08 allows running more software off the seL4 micro-kernel, adds support for virtual networking and Tor, support for VirtualBox on top of the Muen separation kernel, support for VirtualBox 5 on their NOVA kernel, virtual AHCI controller support, statistical profiling support, and more.

Those interested in the Genode OS framework and the interesting operating system research that's coming out of it can learn more via the 16.08 release notes.
Related News
About The Author
Author picture

Michael Larabel is the principal author of Phoronix.com and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated benchmarking software. He can be followed via Twitter or contacted via MichaelLarabel.com.

Popular News This Week