Latest Release

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

Release notes summary for the version 15.11

  • Desktop OS features

    • Vastly impoved GUI stack

    • Dynamic audio-mixer settings

    • Copy and paste between subsystems

  • New VFS server and VFS improvements

  • New LOG aggregator

  • Improved support for dynamic component configurations

  • VirtualBox support for 64-bit guest OSes

  • Device drivers

    • Intel KMS framebuffer driver

    • Framebuffer driver for Exynos 4

    • AHCI for non-NCQ devices

    • Ability to connect to hidden wireless networks

  • Platforms

    • Xilinx Zynq-7000 support, including networking

    • Improved TrustZone support on USB Armory

    • Simplified memory management on NOVA

  • Booting via iPXE over HTTP

  • New tool for creating preconfigured U-Boot images

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