Genode OS Framework release 19.05 May 30, 2019

With the second Genode release this year, we are focussing on the framework's platform support at various levels. In particular, the added support for the 64-bit ARM architecture (AARCH64) paves the ground for running Genode on modern ARM-based platforms.

The added support of the ARM 64-bit architecture involved a profound update of Genode's infrastructure, including the tool chain, the dynamic linker, and the C runtime. These changes are accompanied with improved tooling to keep the diversity of kernels, CPU architectures, and boards easily manageable.

The flagship feature of Genode 19.05 is without any doubt our long-term effort to unify the implementation of virtual machines on top of the various kernels supported by the framework. One year ago, we still regarded virtual machine monitors as inherently tied to a particular kernel interface. With Genode 19.05, we ultimately have become able to run the same virtual machine monitor on kernels as different as NOVA, seL4, and Fiasco.OC - with no recompilation needed!

Further highlights of the new version are new options for user- level networking, the ability to run the Spring application framework and the Tomcat web server with our port of OpenJDK, and improved network drivers for Zynq and Intel hardware. These and many more topics are covered in great detail in the release documentation...