Latest Release

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

Release notes summary for the version 16.05

  • Fundamental revision of the framework API

  • New revision of the "Genode Foundations" book

  • Enhanced ACPI support on x86

  • Device drivers

    • Updated Linux-based drivers to Linux version 4.4.3 (Intel wireless, Intel graphics, USB, TCP/IP stack)

    • Updated OpenBSD-based audio driver to version 5.9

  • GNU debugger running on 64-bit NOVA

  • Rust programming language for Genode components

  • Tool-chain update

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