Latest Release

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

download page.

Release notes summary for the version 15.02

  • Virtualization on ARM

  • Modular tool kit for automated testing

  • Improved performance of VirtualBox on NOVA

  • Libraries and protocol stacks

    • Update of rump-kernel based file systems

    • Ports of sqlite and libbz2

  • Device drivers

    • Support for USB touchscreen devices

    • New wireless configuration interface

    • New USB session interface

  • Platforms

    • Added support for the USB Armory board

    • IPC helping on the base-hw kernel

    • Out-of-order page-fault handling on NOVA

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