Release archive

All previous Genode releases are available at the download section of Genode's Sourceforge project.

Download page at Sourceforge

http://sourceforge.net/projects/genode/files/

Release notes summary for the version 16.11

  • Base framework

    • Redesigned interplay between parent and child components

    • Improved RPC mechanism

  • Ongoing transition to modernized framework API

  • Extended virtual-networking capabilities

  • New timeout-handing API

  • Support for smart cards

  • Time-based password generation

  • NOVA hypervisor

    • VirtualBox updated to versions 4.3.40 and 5.1.10

    • New asynchronous map operation

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

Release notes summary for the version 16.08

  • 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

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

Release notes summary for the version 16.05

  • Fundamental revision of the framework API

  • New revision of the "Genode Foundations" book

  • Enhanced ACPI support on x86

  • Device drivers

    • Updated Linux-based drivers to Linux version 4.4.3 (Intel wireless, Intel graphics, USB, TCP/IP stack)

    • Updated OpenBSD-based audio driver to version 5.9

  • GNU debugger running on 64-bit NOVA

  • Rust programming language for Genode components

  • Tool-chain update

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

Release notes summary for the version 16.02

  • Assignment of USB devices to virtual machines

  • New support for the RISC-V CPU architecture

  • GUI stack usability improvements

  • Device drivers

    • Reconfigurable USB host-controller driver

    • Custom USB mass-storage driver

    • Improved audio output on Linux

  • Libraries and applications

    • New "Genode world" repository for 3rd-party software

    • Updated lynx, OpenSSH, tar, libssh, lighttpd

  • Platforms

    • Enhanced SMP and cache support for base-hw

    • Muen SK version 0.7 with MSI support

    • seL4 version 2.1

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

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

Release notes summary for the version 15.08

  • Genode on top of the Muen separation kernel

  • Genode/NOVA used as day-to-day operating system

  • Kernel-resource management on NOVA and our custom base-hw kernel

  • Base framework and low-level OS infrastructure

    • Improved audio support

    • Unified networking components

    • Enhanced tracing and file-system facilities

    • Low-complexity software rendering

  • Device drivers

    • Raspberry Pi and Odroid-X2 on Fiasco.OC, including USB support

    • BCM57cxx network cards

  • VirtualBox

    • Guest-host integration (policy-based mouse shapes, dynamic adaptation to screen size changes, audio)

    • Multi-processor support

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

Release notes summary for the version 15.05

  • Comprehensive architectural documentation

  • Feature completion of the our custom kernel

    • Kernel-protected capabilities

    • Principal support for the 64-bit x86

    • Dynamic thread weights

  • Revised device-driver infrastructure

  • Device drivers

    • New AHCI driver

    • Multi-touch support

    • Audio drivers ported from OpenBSD

    • SD-card drivers for i.MX53 and Raspberry Pi

    • Board support for i.MX6-based Wandboard

  • Support for GPT partitions

  • Proof-of-concept support for the seL4 kernel

  • NOVA kernel mechanism for signals

  • Tool chain updated to GCC 4.9.2 and binutils 2.25

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

Release notes summary for the version 15.02

  • Virtualization on ARM

  • Modular tool kit for automated testing

  • Improved performance of VirtualBox on NOVA

  • Libraries and protocol stacks

    • Update of rump-kernel based file systems

    • Ports of sqlite and libbz2

  • Device drivers

    • Support for USB touchscreen devices

    • New wireless configuration interface

    • New USB session interface

  • Platforms

    • Added support for the USB Armory board

    • IPC helping on the base-hw kernel

    • Out-of-order page-fault handling on NOVA

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

Release notes summary for the version 14.11

  • Intel wireless stack

  • New CPU scheduler for the base-hw kernel

  • New dynamic linker

  • VirtualBox version 4.3.16 running on NOVA

  • Updated Seoul VMM running on NOVA

  • New GUI-architecture components

  • Improved integration of Qt5

  • Extended Raspberry-Pi driver support

  • Updated tool chain

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

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

Release notes summary for the version 14.05

  • New tools for managing ported 3rd-party source code

  • New block-level encryption using CDG

  • New process-local virtual file systems

  • NOVA microhypervisor

    • VirtualBox with guest additions

    • Support for static priorities

  • Execution on bare hardware (base-hw)

    • Multi-processor support

    • Sparsely populated core address space

  • USB 3.0 on x86-based platforms

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

Release notes summary for the version 14.02

  • VirtualBox running on the NOVA microhypervisor

  • Base framework

    • Improved stack management

  • Storage

    • NetBSD file systems ported via rump kernels

    • Revised block-driver framework

    • New block cache

    • New FUSE-based NTFS-3g support

    • Ported e2fsprogs to the Noux runtime

  • Low-level OS infrastructure

    • New pseudo file system as tracing front end

    • Unified interfaces for graphics

    • New status-reporting mechanism

    • Nitpicker support for dynamic screen resizing

  • Libraries and applications

    • Extended Noux runtime with POSIX signals

    • Dynamic ROM service

  • Platforms

    • Basic support ODROID XU

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

Release notes summary for the version 13.11

  • Base framework

    • Dynamic resource balancing

    • C++11 enabled by default

    • Improved event tracing

  • Low-level OS infrastructure

    • Gigabit networking using the Linux TCP/IP stack

    • Improved nitpicker GUI server

    • New terminal services

    • New file-system server for hybrid Genode/Linux systems

    • New C-runtime plugin for accessing block devices

  • Device drivers

    • Graphics and USB HID for Raspberry Pi

    • HDMI for Samsung Exynos 5

  • Applications and libraries

    • Qt5 with support for OpenGL and QML

    • New file systems based on FUSE

    • Port of DosBox

  • Runtime environments

    • Advanced GNU debugger features

    • ARM TrustZone support on Freescale i.MX53

  • Platforms

    • Base-HW enabled for dynamic workloads

    • Lifetime management for kernel object on NOVA

    • Ballooning support for L4Linux running on Fiasco.OC

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

Release notes summary for the version 13.08

  • Qt5 version 5.1

  • Enhanced support for multi-processor systems, i.e., on NOVA

  • New light-weight event tracing facility

  • Low-level OS infrastructure

    • Networking optimizations

    • Improved POSIX thread support

  • New device drivers for Exynos-5

    • SATA 3.0

    • CPU frequency scaling and power gating

  • Runtime environments

    • Improved Seoul (aka Vancouver) VMM for disk and console

    • L4Linux updated to version 3.9

  • Platforms

    • Update of Fiasco.OC to revision r56

  • Build system and tools

    • Integrity checks for downloaded 3rd-party software

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

Release notes summary for the version 13.05

  • Tooling for automated testing and benchmarking

  • Enhanced terminal infrastructure

  • New network performance benchmarks

  • Platform support

    • Exynos 5 SoC (USB-3, gigabit networking, eMMC, SATA)

    • i.MX SoC (GPIO, display, touch screen)

    • OMAP4 SoC (LCD)

    • Raspberry Pi

    • Linux/ARM as new base platform

  • Device drivers

    • DDE Linux updated to Linux 3.9

    • DDE iPXE update to latest Git version

  • Services

    • FS-LOG service

    • Dynamically reconfigurable virtual framebuffer

  • 3rd-party libraries

    • Qt4 version 4.8.4

    • libSDL supplemental libraries

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

Release notes summary for the version 13.02

  • DMA protection via IOMMU (NOVA/x86)

  • Full virtualization via the Vancouver VMM (NOVA/x86)

  • Redesigned audio-output support for low latency

  • Base API and OS infrastructure

    • New fault-detection facility

    • New mechanism for file-system notifications

    • New terminal multiplexer

  • Device drivers

    • ACPI support for 64-bit machines

    • New OMAP4 UART driver

    • USB support for Samsung Exynos 5250

  • Base platforms

    • Custom kernel platform with added support for Samsung Exynos 5250 and Freescale i.MX53

    • NOVA kernel improved for highly dynamic workloads

    • Fiasco.OC kernel forked, Exynos-5250 support added

    • Improved memory management on Linux

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

Release notes summary for the version 12.11

  • Self-hosting Genode on Genode

  • Custom kernel platform

    • Support for ARM TrustZone

    • Support for OMAP4

    • Support for Freescale i.MX

  • Device drivers

    • New device driver environment for the Open Sound System

    • New OMAP4 GPIO driver

    • Updated iPXE networking drivers

  • Platform support

    • Largely revisited platform support for Linux

    • NOVA updated and complemented

    • L4ka::Pistachio updated

    • Fiasco.OC updated to rev 40, L4Linux updated to rev 25

  • Optimizations

    • lwIP update and performance improvements

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

Release notes summary for the version 12.08

  • Base platforms

    • New base-hw platform for running the framework on bare ARM hardware

    • NOVA support for x86_64, object integrity protection, core-only kernel-resource allocation

  • New OMAP4 SoC device drivers

    • HDMI output

    • SD-card

    • USB HID

    • Networking

  • New FFAT-based file-system service

  • New TAR file-system service

  • Improved Noux runtime

    • New port of the Lynx web browser

    • Shell scripting support

  • 3rd-party libraries

    • New ports of openssl, pcre, expat

    • MPC, libgmp for x86_64 and ARM

    • lwIP updated to version 1.4.1-rc1

  • New port of the lighttpd web server

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

Release notes summary for the version 12.05

  • Base framework, low-level OS infrastructure

    • Video decoding via libav

    • New concept for system re-configuration at runtime

    • New support for dynamic ROM sessions

    • New loader interface and implementation

    • New file-system infrastructure

    • New in-memory file system

  • Libararies, components, and driver drivers

    • New USB stack based on Linux version 3.2

    • POSIX threads and semaphores

    • Video decoding via libav

    • Lua scripting language

    • Audio, timer, and threading support for libSDL

  • Noux runtime for Unix software

    • Support for stacked file systems

    • Binutils, GNU compiler collection, GNU make

    • Basic networking support

  • Base platforms

    • Lifetime management of kernel resources on Fiasco.OC

    • Support for suing the Linux chroot mechanism

    • Support for Pandaboard

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

Release notes summary for the version 12.02

  • Base framework, low-level OS infrastructure

    • RPC framework refinements

    • API support for enslaving services

    • Support for resizable framebuffers

    • New MMIO access framework

    • Enhanced support for Genode used as component framework on Linux

  • New and updated libraries

    • Qt4 updated to version 4.7.4

    • New ports of openjpeg, jbig2dec, and mupdf

  • Applications and runtimes

    • New PDF viewer

    • Support for fork in the Noux runtime environment

  • Device drivers

    • D3m device-driver manager

    • ACPI support

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

Release notes summary for the version 11.11

  • Support for user-level debugging via GDB

  • Applications and services

    • Vancouver virtual machine monitor on NOVA

    • VIM executed on the Noux runtime environment

    • Terminal emulator implementing the Linux termcap

    • TCP terminal

  • Platforms

    • Fiasco.OC updated to rev 38

    • NOVA updated to version 0.4

    • New IPC implementation for Linux

    • Improved support for hybrid Linux/Genode programs

  • L4Linux on Fiasco.OC

    • Integration of L4Android (for both x86_32 and ARM)

    • Stub drivers for block devices, NIC, UART

  • Device drivers

    • gPXE device driver environment upgraded to iPXE

    • Bidirectional UART driver for PL011 and i8250

    • PL110 display driver

    • Support for ARM Versatile Express Cortex-A9x4

  • Libc update to FreeBSD 8.2.0

  • New unified tool chain based on GCC 4.6.1

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

Release notes summary for the version 11.08

  • Unified workflows for all base platforms

  • Device drivers

    • Combined USB HID and USB storage driver

    • Read/write support for ATAPI driver

    • New AHCI driver

    • New SD-card driver for PL180

    • New UART driver for PL110

  • Services

    • New block partition server

  • Extended ARM support

    • Qt4 on ARMv6 and ARMv7

    • L4Linux on ARM

  • Updated base platforms

    • Fiasco.OC rev 36

    • L4ka::Pistachio rev 803

    • L4/Fiasco rev 472

  • New tools for automated building and testing

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

Release notes summary for the version 11.05

  • New API for type-safe inter-process communication

  • Extended Fiasco.OC platform support

    • Shared libraries

    • Signalling framework

    • ARM RealView PBX-A9 support

    • x86 64-bit support

    • L4Linux (IA32 and ARM)

  • New experimental GDB support

  • Device-I/O support for MicroBlaze platform

  • ARM RealView PBX device drivers for input, display, network, and sdcard

  • New ready-to-use scripts for easy test-driving of various Genode features such as Qt4, lwIP, Noux, L4Linux, GDB

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

Release notes summary for the version 11.02

  • Fiasco.OC as new base platform

  • Running Genode natively on MicroBlaze CPUs

  • Support for version 0.3 of the NOVA hypervisor

  • Noux execution environment for GNU userland software

  • Base framework

    • Core resource accounting using guarded allocators

    • Protocol enhancements for upgrading session quotas

  • Qt4 updated to version 4.7.1

  • New tool for automated integration and testing

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

Live CD based on version 10.11

A good way to get a first impression of Genode 10.11 is by downloading and running the available Live-CD images.

Release notes summary for the version 10.11

  • Base framework

    • Support for user-level dataspace managers

  • Operating-system services and libraries

    • Final transition to new init concept

    • Virtual network bridge (Proxy ARP)

    • Alpha blending and tinted views in Nitpicker GUI server

    • ISO9660 file-system server

  • Device drivers

    • Execution environment for gPXE drivers

    • Enhancements of audio-processing infrastructure

    • Revised GEM/DRM support

  • Improved integration of paravirtualized Linux with Genode components

  • Qt4 nitpicker-plugin widget

  • HTTP-based block device in new gems repository

  • Platform-specific refinements on OKL4, Pistachio, and Linux

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

Release notes summary for the version 10.08

  • Hardware-accelerated 3D graphics via Gallium3D and Intel GEM

  • Wireless networking using MadWifi

  • ATAPI driver, ISO 9660 file system

  • Block device interface, ROM loop service

  • Update of Qt4 to version 4.6.3

  • Dynamic linker for ARM EABI

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

Release notes summary for the version 10.05

  • Mandatory access control and session routing

  • Added audio-out support

  • OKLinux stub driver for GUI

  • New build system optimized for parallel builds

  • Arora web browser

  • Port of libSDL

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

Release notes summary for the version 10.02

  • Platform support

    • NOVA hypervisor

    • Codezero kernel

  • New thread-context management

  • Real-time priorities

  • Python scripting

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

Release notes summary for the version 9.11

  • Base framework

    • Signal-framework refinements

    • Binary-size optimizations

  • Paravirtualized Linux on top of Genode on OKL4

  • Initial support for the ARM architecture

  • Operating-system services and libraries

    • Packet-streaming interface

    • Fully integrated shared-library support

    • Light-weight IP stack

    • Zero-footprint runtime for Spark/Ada programs

    • Port of popular libraries such as Freetype2 and Jpeg

  • Device drivers

    • Support for USB storage

    • PS/2 mouse scroll-wheel support

    • NIC driver service

  • Qt4 Webkit

    • Support for Jpeg and Freetype2

  • Applications

    • Xvfb integration into Genode on Linux

    • Improved configurability of native applications

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

Release 9.08

  • Base framework

    • New lock implementation

    • New generic signalling mechanism

    • Added support for thread-local storage

  • Core extension to run Linux on top of Genode on OKL4

  • Operating-system services and libraries

    • Added shared-library support

    • Improved XML config handling

    • Optimized Nitpicker GUI server

    • New timer server

  • Added support for super pages on L4/Fiasco and L4ka::Pistachio

  • Added support for write-combined I/O access

  • Unified startup code and linker scripts among all platforms

  • Removed glibc dependency from the Linux version

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

Release 9.05

  • Applications

    • Integration of Qt4

    • Qt4-based launchpad

  • OS services and drivers

    • Nitpicker performance tweaks

    • Virtualized PCI bus for VESA driver

    • USB session and device interface

  • USB support

    • USB HID driver

    • Host controller drivers for UHCI, OHCI, and EHCI

  • OKL4 as new platform

  • 64-bit Linux platform support

  • Base framework refinements

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

Release 9.02

  • Applications

    • Launchpad XML configuration option

    • Qt4 core and GUI library port

  • OS services and drivers

    • PS/2 driver scancode set 1 fixes

    • Linux 2.6 device driver environment

  • Networking

    • Linux-based driver for AMD Pcnet32

    • uIP-based example web server

  • L4ka::Pistachio as new platform

  • Revised malloc implementation for the C library

  • Tool for ISO image creation and boot with Qemu

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

Release 8.11

  • Base API

    • Introduced typification of capabilities

    • Improved client-side connection handling

    • New semaphore

    • New API for asynchronous notifications

    • New region-manager fault handling

    • New managed dataspaces

    • Refined allocator interfaces

    • Refined interfaces to consistently use exceptions

  • OS services and libraries

    • New framework called DDE kit for device drivers written in C

    • New alarm API for scheduling timed events

    • Improved PS/2 driver, supporting scan-code sets 1 and 2

    • Optimized output latency of the Nitpicker GUI server

  • New C runtime ported from FreeBSD

  • Applications

    • Double-buffering for scout widgets

    • New execute links for the scout tutorial browser

    • Unified handling of child processes among scout and launchpad

    • New default document "Walking through Genode" for scout

  • Platform-specific changes

    • Linux: Dissolved dependency from glibc by introducing custom system-call bindings

    • L4/Fiasco: Implementation of RM faults, managed dataspaces

    • L4/Fiasco: Implementation of cancel-blocking mechanism

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

Release 8.08

The release 8.08 is the first official version of the Genode OS Framework. It contains the following components:

  • The base framework including all libraries and interfaces as described in the Base API documentation

  • The 32-bit Linux version of the base framework, which is the recommended platform for testing and developing

  • The 32-bit L4/Fiasco version of the base framework

  • Drivers

    • Framebuffer driver for VESA and libSDL

    • PS/2 keyboard and mouse driver

    • PCI driver

    • Timer driver

  • Services and applications

    • Nitpicker GUI server

    • Scout tutorial browser

    • Graphical application launcher

    • XML-configurable init process

  • Complete demonstration scenario with graphical test applications such as liquid framebuffer, testnit, and nitlog.

  • Ported libraries

    • libz

    • libpng