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

AlmaLinux 9.4 Beta Restores Support For Some Hardware Deprecated By RHEL

Gentoo Linux Now An SPI Project

Linux Mint Aims For More Reliable & Faster Repository Access

CachyOS Making Use Of Plymouth For Better Boot Experience, Mitigates For XZ Fiasco

Linux Mint 22 Will Use The PipeWire Sound Server, Support JPEG-XL Images

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.