Release notes for the Genode OS Framework

The release-notes archive documents the progress of the Genode project. It is further meant as a resource helping regular developers to adapt their software to the mainline development of Genode.

Release 15.11

The primary theme of version 15.11 is the use of Genode as desktop OS. It vastly improves the GUI and audio stacks, features the port of Intel KMS from Linux, extends the support for the USB Armory and Xilinx Zynq-7000, and introduces new file-system infrastructure in the form of a VFS server.

Release 15.08

With version 15.08, Genode system scenarios can be executed on top of the Muen separation kernel, we addressed NOVA's long-standing lack of kernel-resource management, and enhanced the support for audio, file systems, and CPU-load monitoring.

Release 15.05

The release is accompanied with the book "Genode Foundations", adds kernel-protected capabilities and x86_64 support to the base-hw kernel, and introduces new infrastructure for device drivers along with new drivers for AHCI, audio, and sd-cards. Furthermore, seL4 has been added to the list of the supported kernels.

Release 15.02

Version 15.02 extends the base-hw kernel with ARM-virtualization support, introduces a highly modularized tool kit for automated testing, adds support for the USB Armory platform, and improves the performance and stability of VirtualBox on Genode/NOVA.

Release 14.11

The highlights of version 14.11 are the port of the Intel Wireless Stack as a Genode component, a new CPU trading mechanism via the base-hw kernel, a low-complexity dynamic linker, VirtualBox version 4.3.16, and new elements of the evolving GUI stack.

Release 14.08

The central theme of version 14.08 is a new GUI architecture that maintains high security yet scales to highly flexible and dynamic GUIs. Furthermore, the release features OpenVPN, networking for VirtualBox, SMP support for the Seoul VMM, DDE Linux updated to version 3.14.5, and vastly improved performance of our custom base-hw kernel.

Release 14.05

Version 14.05 improved the interoperability with 3rd-party software by introducing new source-code management tools and a flexible new VFS. Further additions are SMP support for base-hw, block-level encryption via CDG, USB3 on x86, and largely improved support for VirtualBox on NOVA.

Release 14.02

Version 14.02 focuses on virtualization and storage. It comes with the first version of VirtualBox running on NOVA, file systems ported from the NetBSD kernel, a block cache, and largely revised block-level and file-system-level services.

Release 13.11

The highlights of version 13.11 are added mechanisms for dynamic resource balancing, the port of the Linux TCP/IP stack, support for Qt5's QML, new file systems based on FUSE, HDMI drivers for Exynos-5 and Raspberry Pi, and improved TrustZone support for i.MX53.

Release 13.08

Among the most prominent features of version 13.08 are a new event-tracing facility, the port of Qt5, enhanced support for multi-processor systems, in particular with using the NOVA kernel, and SATA and power-management device drivers for Exynos 5.

Release 13.05

Version 13.05 enhances the tool infrastructure for automated testing and benchmarking including a suite of networking benchmarks. The driver support for ARM SoCs has been extended to cover SATA, networking, eMMC, and USB-3 on Exynos 5, display and touchscreen on i.MX53, and low-level devices on BCM2835 (Raspberry Pi).

Release 13.02

The version 13.02 comes with substantial improvements for the NOVA base platform, including support for IOMMUs and the full integration of the Vancouver VMM with Genode's OS services. The range of supported ARM platforms has been extended with Samsung Exynos 5250 and i.MX53. Further highlights are a new audio interface and support for file-system notifications.

Release 12.11

With version 12.11, Genode has become self-hosting. The tool chain was updated to GCC 4.7.2. New sound drivers based on the Open Sound System and a new OMAP4 GPIO driver have been introduced. Furthermore, the support for the Linux base platform was largely revisited and our custom kernel platform gained support for Freescale i.MX and TI OMAP4 SoCs.

Release 12.08

The highlights of version 12.08 are the ability to execute the framework on bare-metal ARM hardware, comprehensive platform support for OMAP4-based SoCs, and a profound update of the NOVA base platform. Among the functional improvements are a FFAT-based file-system service, the port of the lighttpd server, on-target debugging via GDB, and extended networking support of the Noux runtime.

Release 12.05

Among the new features added with version 12.05 are a new USB stack based on Linux version 3.2, the initial version of the framework's file-system infrastructure, and a new concept for dynamic system re-configuration. Furthermore, the Noux runtime has seen vast improvements and thereby has become able to run the GNU tool chain and basic network-related GNU tools.

Release 12.02

Version 12.02 introduced special support for using Genode as user-level component framework on Linux, a new framework API for accessing memory-mapped I/O, the first bits of the d3m device-driver manager, and an ACPI parser. Furthermore, the Noux runtime has been enhanced with fork semantics, Qt4 received an update to version 4.7.4, and a PDF rendering engine has become available.

Release 11.11

The focus of this version was the exploration of various virtualization approaches on Genode, ranging from faithful virtualization via the Vancouver VMM, over paravirtualized L4Android, to OS-level virtualization using Noux, and application-level virtualization as employed for GDB-based user-level debugging. Furthermore, this version introduced a unified new tool chain.

Release 11.08

With version 11.08, Genode makes the work with different kernels a seamless experience by streamlining the work flows for all base platforms. Functional additions are new block-device components such as AHCI and SD-card drivers, a partition server, and a VFAT libc back end. Furthermore, the support for ARM-based platforms has been extended to cover Qt4 and L4Linux.

Release 11.05

Version 11.05 introduced a new RPC communication API facilitating type safe inter-process communication and ease of use. The platform support for Fiasco.OC has been extended to the complete feature set of Genode. The most significant new features are L4Linux (on Fiasco.OC), an early version of GDB support, ARM RealView PBX device drivers (input, display, network, sdcard), and device I/O support for the MicroBlaze platform.

Release 11.02

The addition of Fiasco.OC and our custom MicroBlaze-targeting kernel as well as the upgrade to NOVA v0.3 are the most significant platform-related improvements of the past year. Functionality-wise the most significant feature on version 11.02 is the introduction of the Noux execution environment for running GNU userland software on top of Genode.

Release 10.11

Version 10.11 introduced an execution environment for gPXE drivers, a major upgrade to the nitpicker GUI server, a virtual network bridge, a http-based block server, and the first real-world use case for on-demand paging.

Release 10.08

With version 10.08, we focused on device drivers, introducing Gallium3D, MadWifi, an ATAPI driver, and a new block-device interface to Genode. Additionally, Qt4 was upgraded to version 4.6.3 and the dynamic linker was extended to support ARM EABI.

Release 10.05

Version 10.05 introduced a new configuration concept to subject processes to mandatory access control and to route session requests. Further improvements are the added support for sound output, enhanced integration of OKLinux, the Arora web browser, the port of libSDL, and a new build system.

Release 10.02

The main theme of version 10.02 was the improvement of the base platform support of the framework, highlighted by two new base platforms namely NOVA and Codezero, a new management concept for real-time priorities, and extended support for the ARM architecture.

Release 9.11

The most prominent additions of this release are the support for Webkit, USB storage, light-weight IP stack, and the paravirtualized variant of Linux called OKLinux. Furthermore, it contains the initial port of the framework to the ARM architecture and a new interface for communicating bulk data between processes.

Release 9.08

The version 9.08 brought several refinements such as a new signalling mechanism, a new lock implementation, a new timer service, and various optimizations. The most important new functional additions are a dynamic linker and core extensions to run Linux on top of the OKL4 version.

Release 9.05

Genode version 9.05 introduced the proper integration of Qt4 into the main-line source tree, the first parts of USB support, support for the OKL4 kernel as new base platform, and a prototype of OKLinux running on Genode.

Release 9.02

With the release 9.02, the Genode OS Framework started to support the L4ka::Pistachio kernel as base platform, introduced the first version of Qt4 on Genode, and added the Linux-2.6 Device Driver Environment including basic networking support.

Release 8.11

The release 8.11 introduced a C library ported from FreeBSD, a device-driver API called DDE kit, the signalling framework, the typification of capabilities, region-manager faults, managed dataspaces, and a timed event scheduler.