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

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...