Latest Release

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

download page.

Release notes summary for the version 15.05

  • Comprehensive architectural documentation

  • Feature completion of the our custom kernel

    • Kernel-protected capabilities

    • Principal support for the 64-bit x86

    • Dynamic thread weights

  • Revised device-driver infrastructure

  • Device drivers

    • New AHCI driver

    • Multi-touch support

    • Audio drivers ported from OpenBSD

    • SD-card drivers for i.MX53 and Raspberry Pi

    • Board support for i.MX6-based Wandboard

  • Support for GPT partitions

  • Proof-of-concept support for the seL4 kernel

  • NOVA kernel mechanism for signals

  • Tool chain updated to GCC 4.9.2 and binutils 2.25

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