Latest Release

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

download page.

Release notes summary for the version 14.08

  • New GUI architecture

    • Vastly improved nitpicker GUI server

    • New window manager and accompanied components

  • C runtime

    • Pluggable VFS file systems

    • Real-time-clock support

    • Jitter-based random-number generator

  • OpenVPN

  • Improved integration of Qt5

  • DDE Linux updated to version 3.14.5

  • NOVA microhypervisor

    • Kernel updated, improved timer handling

    • Seoul VMM: Multi-processor support

    • VirtualBox: Networking support

  • Execution on bare hardware (base-hw)

    • Branch prediction

    • New source-tree structure

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