Announcement: Genode OS Framework version 16.08 released

Christian Helmuth christian.helmuth at ...1...
Wed Aug 31 14:53:56 CEST 2016

This release is packed with lots of improvements in areas ranging from
extended base-platform support over networking and virtualization to
new tools for statistical profiling. We quite proudly announce
extended support for the seL4 kernel as a platform for dynamic and
interactive Genode scenarios on x86. The new version enables users of
seL4 to compose dynamic operating systems from a plethora of
ready-to-use Genode components. Further, the developers from Codelabs
contribute their efforts in running unmodified guest operating systems
on top their Muen separation kernel with a port of VirtualBox 4. As we
consider VirtualBox as key feature of Genode, this release also
includes a first experimental version of VirtualBox 5 on top of the
NOVA kernel. Another highlight of the new version is a virtual
networking component for routing and NAT accompanied by the ability to
use the TOR network.

The current release contains the following changes and new features.

  - Base platforms
    - Interactive and dynamic workloads on top of the seL4 kernel
    - Binary compatibility across all supported kernels
    - Xilinx Zynq board support for Parallela, Zedboard, ZC706, ZC702
  - Networking
    - Virtual networking (routing, NAT)
    - New TOR component
    - ROM sessions in a network-distributed Genode system
  - Virtualization
    - VirtualBox 4 on top of the Muen separation kernel
    - Experimental version of VirtualBox 5 for NOVA
  - Libraries and components
    - Improved ACPI integration
    - Growing library of "shim" services such as a framebuffer scaler,
      an input remapper, a ROM fallback service, and a LOG duplicator
    - Ported 3rd-party software such as diffutils, less, mbed TLS,
      libxml2, RISC-V front-end server
    - New file-downloading component
  - Statistical profiling

Find the complete release documentation for the version 16.08 at

Happy hacking with Genode!

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list