Latest Release

The source-code of the Genode OS Framework is available at GitHub and Sourceforge.

Release notes summary for the version 19.05

• Kernel-agnostic virtualization interface

• Initial support for the 64-bit ARM architecture

• New tool chain based on GCC 8.3.0 and binutils 2.32

• Updated C and SPARK runtimes

• Build directories shared across different boards

• Improved kernel support for Muen, NOVA, seL4, Fiasco.OC

• Performance optimization of the base-hw kernel

• Logging for distributed Genode systems

• Updated Zynq and Intel network drivers

• Ability to run Tomcat and Spring on OpenJDK

Read the complete release notes for the version 19.05 in the documentation section...