Latest Release

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

Release notes summary for the version 19.02

  • Sculpt OS with federated software provisioning

  • Showcase of a Java-based IoT network appliance (Boot2Java)

  • Showcase for a component-based web service (

  • OpenJDK with JIT on 32-bit ARM and 64-bit x86

  • Improved Ada and SPARK support, including AUnit

  • Initial support for the OCaml programming language

  • Removal of deprecated APIs

  • API-safety improvements

  • Support of i.MX6 Quad Sabrelite and Nitrogen6 SoloX

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