Genode OS 19.05 Adds 64-bit ARM, Uses C++17 By Default

Written by Michael Larabel in Operating Systems on 29 May 2019 at 07:17 AM EDT. 2 Comments
For those intrigued by the Genode open-source operating system framework and its microkernel abstraction layer, Genode OS 19.05 is out this morning as the newest quarterly feature release.

With Genode 19.05 is the introduction of a kernel-agnostic virtualization interface, initial support for 64-bit ARM (AArch64), the new/upgraded toolchain uses C++17 by default with GCC 8.3, and various run-time updates.

The upgraded compiler toolchain uses GCC 8.3 paired with Binutils 2.32 and libstdc++ 8.3.0 while using C++17 as the default C++ language mode for building out the operating system framework. With the addition of AArch64, Genode OS now supports x86, x86_64, ARM 32-bit, ARM 64-bit, and RISC-V.

Genode OS 19.05 also brings updated Intel network drivers, better Xilinx Zynq support, i.MX7 Dual SABRE board support, and various work on the different supported micro-kernels.

More details on Genode OS 19.05 over on
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