Genode OS 17.05 Released, Switches To GCC 6.3, Kernel/Platform Improvements
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 Genode.org.