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 (Genodians.org)

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