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
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
Michael Larabel

Michael Larabel is the principal author of 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 automated benchmarking software. He can be followed via Twitter, LinkedIn, or contacted via

Popular News This Week