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