Genode OS 17.05 Released, Switches To GCC 6.3, Kernel/Platform Improvements

Written by Michael Larabel in Operating Systems on 31 May 2017 at 12:26 PM EDT. 3 Comments
Version 17.05 of the Genode OS research/experimental operating system project is now available.

Genode OS 17.05 features upgrades to the GCC 6.3 code compiler, the Qt 5.8 tool-kit is now used, its VirtualBox port has been upgraded, and there are a number of architecture and API changes happening this summer for the OS.

Some of the low-level work includes completing the transition to its modern API, streamlining exception types, init improvements, a new API for user-level timing, network traffic monitoring support, updates to the Muen separation kernel, and more. The Genode Foundations Book was also updated for those interested in learning more about this open-source operating system's design.

All the details about Genode OS 17.05 at
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