Latest Release

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

download page.

Release notes summary for the version 14.11

  • Intel wireless stack

  • New CPU scheduler for the base-hw kernel

  • New dynamic linker

  • VirtualBox version 4.3.16 running on NOVA

  • Updated Seoul VMM running on NOVA

  • New GUI-architecture components

  • Improved integration of Qt5

  • Extended Raspberry-Pi driver support

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