Articles & Reviews
News Archive
Forums
Premium
Contact
Categories

Computers Display Drivers Graphics Cards Linux Gaming Memory Motherboards Processors Software Storage Operating Systems Peripherals

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.

1 Comment

Proxmox VE 7.4 Released With Linux 5.15 LTS + Linux 6.2 Support, New Dark Theme

Trisquel 11 LTS Released As Ubuntu-Based, FSF-Approved Linux Distribution

Serpent OS Build Infrastructure Launched

Amazon Linux 2023 Reaches GA, Built Atop Fedora

Vanilla OS 2.0 Shifting From Ubuntu Base To Debian Sid

About The Author

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, LinkedIn, or contacted via MichaelLarabel.com.