Latest Release

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

Release notes summary for the version 18.11

  • Quality assurance

    • Automated test infrastructure hosted on top of Genode

    • New tooling for obtaining test-coverage metrics

    • Static code analysis

  • Genode as a platform for Mirage-OS unikernels

  • Initial version of the Genode SDK

  • Component health monitoring

  • Modularized window system in Sculpt OS

  • Zero-copy networking on Xilinx Zynq

  • New SSH terminal server

  • New window layouter

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

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...