Latest Release

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

Release notes summary for the version 18.08

  • Sculpt OS with live runtime view

  • Device drivers

    • Linux device-driver environment based on kernel 4.16.3

    • Updated and enhanced Intel framebuffer and wireless drivers

    • Decomposed USB stack, support for isochronous devices

    • Improved device compatibility of NIC and PS/2 drivers

    • Experimental runtime for Zircon-based drivers

  • Base framework and OS-level infrastructure

    • NIC-router support for multiple uplinks

    • New VFS plugin for using LwIP as TCP/IP stack

    • Cached file-system-based ROM service

    • VFS plugin for importing initial content

    • Enhanced Ada language support

  • Libraries and applications

    • Python 3

    • VirtualBox 5.1.38

  • Platforms

    • New Intel Microcode update mechanism

    • Multiprocessor support for our custom kernel on x86

    • Updated NOVA and Fiasco.OC kernels

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