Genode - Genode News

Sculpt OS release 25.10 Oct 30, 2025: Sculpt OS 25.10 improves performance, updates device drivers, and accepts a new human-readable configuration format.
Genode OS Framework release 25.08 Aug 28, 2025: Genode 25.08 introduces a new kernel scheduler for fairness and low latency, explores an alternative to XML, optimizes the block-storage stack, and updates all Linux-based PC drivers to kernel version 6.12. Furthermore, the release unlocks further dynamic scenarios for the latest version 13.0 of the seL4 microkernel.
Revised Foundations and Applications books Jun 06, 2025: The "Genode Foundations" and "Genode Applications" books have been updated to match the Genode framework 25.05 and Sculpt OS 25.04.
Genode OS Framework release 25.05 May 28, 2025: In tandem with the tool-chain upgrade to GCC 14.2 and binutils 2.44, Genode 25.05 hardens the framework API to foster a programming style that leaves no error condition unconsidered. Further highlights are the rigid sandboxing of the Goa SDK, the consolidation of the two supported TCP/IP stacks, and enhanced graphics drivers.
Sculpt OS release 25.04 Apr 29, 2025: Sculpt OS 25.04 brings compatibility with Intel's Meteor-Lake hardware, introduces multi-monitor window management and display rotation, and is accompanied by a major update of the Chromium web engine.
Genode OS Framework release 25.02 Feb 28, 2025: Version 25.02 extends Genode's multi-monitor abilities to the window-management level and to virtual machines, features the ports of Qemu and the Chromium web engine version 112, boosts the graphics performance via SIMD optimizations, and brings Sculpt OS to the latest Intel Meteor-Lake Framework laptops as well as F&S MX8MP armStone hardware.
Road Map for 2025 Jan 22, 2025: We dedicate the year 2025 to Genode's rigidity, clarity, and performance.
Genode OS Framework release 24.11 Nov 22, 2024: With mirrored and panoramic multi-monitor setups, pointer grabbing, atomic blitting and panning, and panel-self-refresh support, Genode's GUI stack gets ready for the next decade. Hardware-wise, version 24.11 brings a massive driver update for the i.MX SoC family. As a special highlight, the release is accompanied by the first edition of the free book "Genode Applications" as a gateway for application developers into Genode.
Sculpt OS release 24.10 Oct 30, 2024: Thanks to a largely revamped GUI stack, the Genode-based Sculpt OS 24.10 has gained profound support for multi-monitor setups.
Genode OS Framework release 24.08 Aug 29, 2024: Genode 24.08 introduces the Qt6 application framework, updates all Linux-based components and PC device drivers to Linux version 6.6.47, equips the Goa SDK with remote debugging support, modernizes the base and GUI interfaces of the framework, extends the board support for i.MX-based devices, and explores AVX on x86.
New community forum at Discourse Aug 13, 2024: Our new community forum is organized by Genode users to share ideas and experiences, help newcomers, and discuss Genode-related projects.
Meet us at FroSCon during August 17-18 Jul 30, 2024: The Genode project will host a booth at this year's Free and Open-Source Software Conference in Sankt Augustin.
Genode OS Framework release 24.05 May 30, 2024: The highlights of Genode 24.05 are the new ability to run Sculpt OS on our custom kernel, GDB on Sculpt OS, suspend/resume, the redesign of the framework's USB infrastructure, and the completed transition to the new audio interfaces. The release is accompanied with the annual update of the "Genode Foundations" book.
Sculpt OS release 24.04 Apr 26, 2024: Sculpt OS 24.04 is rich of new user-visible features. It now supports 4K displays and I2C touchpads out of the box, brings experimental support for suspend/resume, allows the fine-grained assignment of USB devices to applications and VMs, and introduces new audio-mixing capabilities.
Genode OS Framework release 24.02 Feb 29, 2024: Version 24.02 revisits Genode's audio support for latency-sensitive scenarios, flexible sample rates, and pluggable drivers. It also introduces the new ability of the Goa SDK to use Sculpt OS as remote test target, comes with a new TCP/IP stack based on Linux 6.1.20, makes drivers aware of suspend/resume, and improves HID event handling.
Road Map for 2024 Jan 18, 2024: After intensively concentrating on deeply technical topics below the surface in 2023, we are going to reap user-visible rewards in 2024 by focussing on Sculpt OS usability.
Genode OS Framework release 23.11 Nov 30, 2023: Genode 23.11 moves the IOMMU driver from the kernel to the user land, introduces CPU power/temperature/frequency monitoring and steering, comes with a new API for low-complexity GUI applications, and streamlines the framework's virtualization interface. It also improves developer ergonomics and showcases the port of the Linphone VoIP stack.
Sculpt OS release 23.10 Oct 26, 2023: Modern PCs provide plenty of metering and power-management options. Version 23.10 of the Genode-based Sculpt operating system makes these features available via an interactive user interface. One can watch the temperature of each CPU core, monitor the individual CPU frequencies, switch between power profiles, and reveal details about power draw.
Genode OS Framework release 23.08 Aug 24, 2023: The main theme of the current release is tooling for developing, debugging, porting, and publishing Genode components. Beyond that, the release improves driver support and the internals of core and the base-framework.
Genode OS Framework release 23.05 May 31, 2023: Besides the annual documentation update, the scheduled tool-chain update, and the switch to C++20, the release puts the spotlight on the Goa tool, which enables the use of existing SDKs like Lomiri or Rust's cargo for targeting Genode.
Sculpt OS release 23.04 Apr 28, 2023: Sculpt OS 23.04 marks the first-time PinePhone support in addition to the PC version. With this release, the system supports live upgrades of the boot image, rendering Sculpt updates and the switching between versions a matter of some easy steps. The new preset feature brings entire application scenarios to your screen after just one click/tap.
Genode OS Framework release 23.02 Feb 28, 2023: Version 23.02 introduces system-update functionality to the mobile version of Sculpt OS, enhances our ARM VMM for interactive guest OSes, adds DMA protection to Xilinx Zynq via a custom IP core, extends suspend/resume support, and makes Intel's P&E cores explicitly manageable.
Road Map for 2023 Jan 17, 2023: In 2023, we will make the mobile version of Sculpt OS fit for end users, unleash advanced hardware features of Intel platforms, switch to C++20 by default, and run the feature-complete PC version of Sculpt OS on Genode's custom-tailored microkernel.
Genode OS Framework release 22.11 Nov 30, 2022: Genode 22.11 enables hardware-accelerated graphics on up-to-date Intel GEN12+ hardware, introduces work flows for hardware-software co-design, wraps up the framework's unified device-driver infrastructure across PC and ARM, and pushes forward the use of Genode on the PinePhone.
Sculpt OS release 22.10 Oct 13, 2022: Sculpt OS 22.10 is a maintenance release of our Genode-based general-purpose OS. It imposes a new rigid regime to the management of low-level devices, improves USB hotplug support, and comes with numerous performance optimizations.
Genode OS Framework release 22.08 Aug 31, 2022: The overarching theme of Genode 22.08 is the emerging phone variant of Sculpt OS, touching topics as diverse as USB ECM, Mali-400 GPU, SD-card access, telephony, mobile-data connectivity, the Morph web browser, and a custom user interface. Among the further highlights are new tracing tools, improved network performance USB smart-card support, and VirtIO drivers for RISC-V.
Genode OS Framework release 22.05 May 31, 2022: The highlights of Genode 22.05 are the new support for WireGuard virtual private networks and a fresh lineup of PC device drivers. Further topics are basic telephony with the PinePhone and dynamic device management on Xilinx Zynq.
Genode SoC porting guide May 25, 2022: In the second revision of the Genode Platforms document, Genode Labs shares its former in-house expertise about moving Genode to new hardware devices.
Sculpt OS release 22.04 Apr 28, 2022: Sculpt OS version 22.04 introduces the concept of service-level sandboxing and features completely new drivers for wireless, graphics, and USB.
Genode OS Framework release 22.02 Feb 28, 2022: With Genode 22.02, 3D acceleration becomes available to guest operating systems running in VirtualBox 6, Sculpt OS evolves into a versatile framework for building special-purpose operating systems, and Genode starts to interact with the modem of the PinePhone.
Road Map for 2022 Jan 18, 2022: Our plans for 2022 envision the use of Genode for advanced mobile use cases such as video chat.
Genode OS Framework release 21.11 Nov 30, 2021: Genode 21.11 puts the spotlight on device drivers. Interactive Genode scenarios come to the PinePhone, hardware-accelerated graphics becomes available on Intel Gen9+ and Vivante GPUs, and Xilnx Zynq receives new love.
Sculpt OS release 21.10 Oct 14, 2021: Sculpt OS version 21.10 introduces GPU-accelerated graphics on Intel, media playback in the web browser, VirtualBox 6, and USB webcam support.
Genode OS Framework release 21.08 Aug 31, 2021: The highlights of Genode 21.08 are revamped GPU support as well as new drivers for the PinePhone and MNT-Reform laptop based on a new streamlined approach for porting Linux kernel code. Further topics range from VirtualBox improvements, over media playback in the native web browser, to LTE connectivity in Sculpt OS.
Genode OS Framework release 21.05 May 31, 2021: Version 21.05 introduces webcam support, features an encrypted file vault for Sculpt OS, and adds new drivers for the i.MX8 SoC and Pine-A64. Furthermore, it is accompanied with a new tool chain based on GCC 10 and new guidance documentation for driver development.
Sculpt OS 21.03 boots now in 2.5 seconds May 03, 2021: We have released an updated Sculpt 21.03 image featuring several hardware-compatibility tweaks and performance improvements.
Sculpt OS release 21.03 Mar 24, 2021: Version 21.03 of the Sculpt operating system makes the system resilient against classes of driver failures, adds configurable real-time priorities, and introduces interfaces for screen capturing and user-event injection.
Genode OS Framework release 21.02 Feb 25, 2021: The highlights of version 21.02 are the addition of VirtualBox 6, mobile-data connectivity via LTE, pluggable network drivers, initial support for the Pine-A64-LTS board, and revived work on RISC-V.
Road Map for 2021 Jan 15, 2021: In 2021, we plan to bring Genode to the PinePhone, advance the framework's GPU support, and focus on development workflows.
Genode OS Framework release 20.11 Nov 27, 2020: Genode 20.11 brings Sculpt OS to 64-bit ARM hardware, introduces dynamic CPU-load balancing, and enables multicore virtualization on ARM. Driver-wise, the release improves audio on PC hardware, and adds VirtIO networking support.
Sculpt OS release 20.08 Sep 17, 2020: Version 20.08 of the Sculpt operating system refines the user experience and becomes able to host the Chromium-based Falkon web browser.
Genode OS Framework release 20.08 Aug 28, 2020: With Genode 20.08, the low-level GUI stack underwent a profound redesign, the Chromium web engine comes to life, the i.MX8 support covers clock and power management, and the CBE block encrypter becomes highly modular.
Genode OS Framework release 20.05 May 28, 2020: Version 20.05 wraps up the consolidation of Noux with the C runtime, advances the device-driver infrastructure and virtualization support on ARM, reaches feature-completion of our block encryptor, and leverages seccomp for sandboxing components on top of Linux.
Sculpt OS release 20.02 Mar 10, 2020: Version 20.02 of the Sculpt operating system revisits the administrative user interface for a more intuitive and logical user experience.
Genode OS Framework release 20.02 Feb 28, 2020: With version 20.02, Genode makes Sculpt OS fit for running on i.MX 64-bit ARM hardware, optimizes the performance throughout the entire software stack, and takes the next evolutionary step of the user-facing side of Sculpt OS.
Road Map for 2020 Jan 20, 2020: In 2020, we will be concerned about dwarfing the barrier of entry into the Genode world.
Genode OS Framework release 19.11 Nov 28, 2019: Following this year's theme of "bridging worlds", Genode 19.11 adds the ability to use popular build tools like CMake for application development, introduces a new virtual-machine monitor for 64-bit ARM, and enhances POSIX compatibility. As another highlight, it features the first version of our custom block-device encrypter.
Genode OS Framework release 19.08 Aug 28, 2019: Genode 19.08 puts emphasis on practical concerns ranging from keyboard layouts, over system-time management, to remote system administration. It also continues our commitment to the 64-bit ARM i.MX8 SoC, comes with Qt5 version 5.13, and improves POSIX compatibility.
Sculpt OS release 19.07 Jul 09, 2019: Version 19.07 of the Sculpt operating system improves overall performance and introduces copy and paste between terminals, virtual machines, and graphical applications.
Genode OS Framework release 19.05 May 29, 2019: The highlights of version 19.05 are a new kernel-agnostic virtualization interface, initial support for the 64-bit ARM architecture, the use of C++17 by default, a new tool chain based on GCC 8.3, updated C and SPARK runtimes, and the consolidation of build directories across boards.
Sculpt as a Community Experience Mar 19, 2019: The fourth stage of Sculpt OS introduces a new federated software provisioning model while giving the user full control over the component deployment via a novel graphical user interface.
Genodians.org Mar 08, 2019: Genodians.org is the new place to be for getting the latest news and stories around Genode. It is a federated blog by and for developers and users alike.
Genode OS Framework release 19.02 Feb 28, 2019: Version 19.02 enhances Sculpt OS with a federated software provisioning model, showcases the use of Java for an IoT network appliance and the creation of a component-based web service, improves the runtime support for Ada and SPARK, and adds board support for i.MX6 Quad Sabrelite and Nitrogen6 SoloX.
Road Map for 2019 Jan 15, 2019: In 2019, we will focus on practical use cases, on interoperability, and on harmonizing Genode with existing applications and programming languages.
Genode OS Framework release 18.11 Nov 29, 2018: Genode 18.11 is focused on improving quality assurance on various fronts, including static code analysis, on-target test orchestration, and code-coverage measurements. Furthermore, it introduces support for Mirage-OS unikernels, a new health-monitoring mechanism, a Genode SDK, an SSH server, and a new window layouter.
Dual licensing of 3rd-party Genode components Nov 16, 2018: To nurture a sustainable ecosystem around the Genode OS framework, we introduce a new approach for conducting dual-licensing businesses enabled by Genode.
Sculpt with Visual Composition Sep 21, 2018: The third version of Sculpt OS introduces an interactive runtime view for managing components.
Genode OS Framework release 18.08 Aug 30, 2018: Genode 18.08 advances the framework's device drivers to accommodate modern PC hardware, introduces a new microcode-update mechanism for Intel CPUs, and enhances the networking and VFS infrastructure. With the new version, Sculpt OS enters the next stage by moving towards an interactive graphical user interface.
Sculpt for The Curious Jun 13, 2018: The second incarnation of Sculpt OS comes in the form of a ready-to-use disk image.
Genode OS Framework release 18.05 May 31, 2018: With Genode 18.05, we have reached the second stage of Sculpt OS, empowering the user with the automation of fundamental work flows and a new user interface for storage management and network access. Further highlights include the added support for Java, a new NVMe device driver, enhanced VFS infrastructure, and an updated revision of the Genode Foundations book.
Sculpt for Early Adopters Mar 02, 2018: A detailed step-by-step guide for installing and using the Genode-based Sculpt OS is available now.
Genode OS Framework release 18.02 Feb 28, 2018: Genode version 18.02 kicks off the Year of Sculpt by featuring the first revision of the Sculpt operating system for general-purpose computing. Further highlights of the new release range from network-stack improvements, over a new tracing utility, to the experimental use of the Nim programming language.
Road Map for 2018 Jan 17, 2018: 2018 will be the year of Sculpt.
Genode at FOSDEM 2018 Jan 16, 2018: Genode will participate in the microkernel developer room at FOSDEM with three presentations, covering our recent work on GPUs, user-level networking, and the dynamic sculpting of a Genode-based system.
Genode OS Framework release 17.11 Nov 30, 2017: Most of the many improvements of version 17.11 are geared towards the practical use of Genode as day-to-day OS. They include a reworked GUI stack, new user-input features, and the packaging of many components. The new version also revises the boot concept on x86, updates the seL4 kernel, and enhances Genode's user-level networking facilities.
Genode OS Framework release 17.08 Aug 30, 2017: Version 17.08 enables hardware-accelerated graphics on Intel-Gen8 GPUs and expands Genode's seL4-kernel support to the ARM and 64-bit x86 architectures. Further topics are UEFI boot, VFS enhancements such as a new FatFS plugin, and the use of Genode as Xen DomU.
Genode OS Framework release 17.05 May 31, 2017: With a profoundly updated framework infrastructure such as GCC 6.3, Qt 5.8, and VirtualBox 5.1.22 for NOVA, the just released version 17.05 promises to be a suitable basis for longer-term maintenance and is accompanied with a new edition of the "Genode Foundations" book.
Google Summer of Code Mar 01, 2017: Genode will participate under the umbrella of the FOSDEM microkernel devroom as mentoring organization in this year's Google Summer of Code program.
Genode OS Framework release 17.02 Feb 28, 2017: By introducing application binary interfaces, version 17.02 cultivates the cross-kernel binary compatibility of components. Furthermore, the new version comes with a vastly improved VFS infrastructure, new input-event processing capabilities, and a dynamic component-composition engine.
Open-source license update Feb 21, 2017: With the upcoming version 17.02, Genode will adopt the GNU Affero General Public License (AGPLv3) as its regular open-source license.
Road Map for 2017 Jan 17, 2017: The year 2017 will be overall focused on stressing the scalability and stability of the framework.
Genode at FOSDEM 2017 Jan 11, 2017: The microkernel developer room at this year's FOSDEM will host four Genode-related talks, ranging from our custom kernel, over kernel-independent binaries, execution replay, to Genode's VFS infrastructure.
Genode OS Framework release 16.11 Nov 30, 2016: Version 16.11 revisits the most fundamental low-level protocols of the framework to further improve its scalability, refines the virtual networking facilities, adds support for smart cards, and improves the NOVA kernel.
Genode OS Framework release 16.08 Aug 31, 2016: Genode 16.08 makes the entirety of the framework's drivers, protocol stacks, and libraries available on the seL4 kernel, brings VirtualBox 4 to the Muen separation kernel, and hosts VirtualBox 5 on top of the NOVA kernel. Further highlights are virtual networking and TOR, profound Zynq board support, and tools for statistical profiling.
Genode OS Framework release 16.05 May 27, 2016: With version 16.05, the Genode API receives a fundamental revision. The list of further improvements ranges from the introduction of Rust, over improved GDB support, to a profound update of many device drivers and ACPI features.
How Genode came to RISC-V Mar 22, 2016: Our new article provides a look behind the scenes of porting Genode to the RISC-V hardware architecture.
Genode OS Framework release 16.02 Feb 26, 2016: Genode 16.02 introduces the RISC-V hardware architecture to the framework, enables the secure pass-through of USB devices to virtual machines, and updates the Muen separation kernel and the seL4 microkernel.
Road Map for 2016 Jan 15, 2016: We finalized the road map for 2016, which is primarily focused on extending the community of users.
Genode at FOSDEM 2016 Jan 12, 2016: There are four Genode-related talks scheduled at this year's FOSDEM, covering the USB Armory, seL4, the Nix package manager, and Genode as desktop OS.
The story behind Genode's TrustZone demo on the USB Armory Dec 08, 2015: Our latest article provides a look behind the scenes of the development of Genode's support for the USB Armory platform.
Genode OS Framework release 15.11 Nov 30, 2015: The primary focus of version 15.11 is the use of Genode as a 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 such as a VFS server.
Genode OS Framework release 15.08 Aug 31, 2015: Version 15.08 marks the starting point of Genode used as day-to-day operating system, which underlines the maturity and scalability of the framework. A further highlight is the ability to execute Genode on top of the Muen separation kernel.
Genode OS Framework release 15.05 May 26, 2015: For the first time, a Genode release is accompanied by a book. Further highlights of the current release are vast improvements of our base-hw kernel, preliminary support for the seL4 microkernel, new device-driver infrastructure, and plenty of new device drivers.
Genode's core running on the seL4 kernel May 18, 2015: In the third part of our seL4 article series, we describe the steps taken to run Genode's fundamental components on seL4.
An in-depth look into the ARM virtualization extensions Mar 12, 2015: Our new article explores the mechanisms of the ARM virtualization extensions and describes how Genode's custom base-hw kernel was turned into a microhypervisor.
Exercising the seL4 kernel interface Mar 10, 2015: The second part of the article series about Genode on seL4 goes into detail about the kernel mechanisms for synchronous inter-process communication and the management of virtual memory.
Genode OS Framework release 15.02 Feb 27, 2015: 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.
Road Map for 2015 Jan 14, 2015: After brainstorming Genode's mid-term future on our mailing list, we finalized our road map for this year.
Genode at FOSDEM 2015 Jan 14, 2015: With three talks, Genode will show a strong presence at this year's FOSDEM. The talks will cover an introduction of Genode, our line of work regarding VirtualBox on NOVA, and Genode's evolving GUI architecture.
Genode OS Framework release 14.11 Nov 28, 2014: With the availability of the Intel wireless stack in version 14.11, we close one of the last functional gaps to use Genode on modern laptops. Further highlights of the new version are the trading of CPU resources between subsystems on top of our custom HW kernel, VirtualBox 4.3.16, a new dynamic linker, and networking on the Raspberry Pi.
Article about building a simple seL4 root task Oct 30, 2014: As we have just kicked off our work on porting Genode to the seL4 microkernel, we took the chance to document the process in the form of a series of articles. The first part covers the steps of creating a minimalistic root task.
Genode OS Framework release 14.08 Aug 28, 2014: The central theme of version 14.08 is a new GUI architecture that maintains strong security yet scales to highly flexible and dynamic GUIs. Furthermore, the release comes with a port of OpenVPN, networking support for VirtualBox, updated DDE Linux, and vastly improved performance of our custom base-hw kernel.
Genode OS Framework release 14.05 May 29, 2014: Version 14.05 greatly improves the way 3rd-party software can be combined with the framework, VirtualBox on NOVA received guest-additions support, there is a new block-encryption facility, and our custom base-hw kernel became able to use multiple processors.
An Exploration of ARM TrustZone Technology Apr 10, 2014: A new article supplemented by a demonstration video presents our endeavour of combining Genode with the security features of ARM TrustZone.
Genode OS Framework release 14.02 Feb 28, 2014: The two highlights of the new release are VirtualBox running on top of the NOVA microhypervisor and the added support for NetBSD's file systems. Furthermore, the release comes with new or largely revised storage components such as a block cache.
Slides and videos of our FOSDEM talks Feb 10, 2014: We held two talks at FOSDEM 2014: Stefan Kalkowski presented Genode running on the secure side of ARM TrustZone whereas Norman Feske gave an overview of the project's efforts towards general-purpose computing.
Guide for porting 3rd-party software to Genode Jan 28, 2014: Our new porting guide provides step-by-step instructions on how to port existing libraries, applications, and device drivers to Genode.
Road Map 2014 Jan 17, 2014: The updated road map outlines the major topics and schedule of the project for 2014.
FOSDEM 2014 Jan 06, 2014: It goes without saying that Genode will participate in FOSDEM this year during February 1 - 2 in Brussels.
Genode OS Framework release 13.11 Nov 28, 2013: In addition to evolving the Genode API to better accommodate dynamic workloads, version 13.11 comes with a host of new features such as Qt5 QML, the Linux TCP/IP as user-level library, file systems based on FUSE, and HDMI support for Exynos-5 and Raspberry Pi.
Genode OS Framework release 13.08 Aug 15, 2013: We celebrate our 5th anniversary with the addition of three major features: Qt5 on all kernels, profound multi-processor support on the NOVA and Fiasco.OC kernels, and light-weight tracing of inter-process communication.
Genode OS Framework release 13.05 May 30, 2013: The highlights of version 13.05 are new tools for automated testing and benchmarking including a suite of networking benchmarks, added device drivers for the Samsung Exynos 5 and Freescale i.MX SoCs, and new components for the operation of headless systems.
Genode OS Framework release 13.02 Feb 28, 2013: The version 13.02 takes a major leap with supporting the NOVA hypervisor by fully embracing IOMMUs and NOVA's virtualization capabilities. Additionally, the framework enables the use of ARM Cortex A15, comes with a new audio interface, and introduces file-system notifications.
Road Map 2013 Jan 15, 2013: The updated road map provides the background and rough schedule for the advances of the framework planned for 2013.
Genode OS Framework release 12.11 Nov 29, 2012: With version 12.11, Genode has become able to execute the Genode build system directly on microkernels, introduces audio drivers based on the Open Sound System project, and largely revisits the platform mechanisms used on Linux.
How Genode came to the Pandaboard Nov 23, 2012: In the just published experience report, the Genode developers provide insights into the process of porting the framework to a new hardware platform, namely the popular Pandaboard.
Genode OS Framework release 12.08 Aug 23, 2012: Version 12.08 introduces a way to execute the framework on bare ARM hardware without the need for a separate kernel, adds comprehensive device-driver support for the OMAP4 SoC, and revives NOVA as base platform.
NOVA Hypervisor supported on 64-bit x86 machines Jul 27, 2012: NOVA combines microkernel principles with capability-based security and virtualization technology. The updated version complements the existing x86_32 support with a new variant for x86_64.
Interview in Revista Espírito Livre magazine Jun 20, 2012: Issue 36 of the Brazilian Revista Espírito Livre magazine features a comprehensive interview with Norman Feske. (update: english version)
Genode OS Framework release 12.05 May 30, 2012: The highlights of version 12.05 are our new USB stack, added media replay capabilities, new support for dynamic system re-configuration, and the ability to run the GNU tool chain on Genode.
Genode participation at GSoC 2012 Apr 25, 2012: Tobias Börtitz steps up to the challenge of combining the HelenOS kernel with the Genode userland.
New dynamic run-time configuration support Apr 11, 2012: A new mechanism for re-configuring subsystems at run-time paves the way to sophisticated general-purpose usage scenarios.
GSoC 2012 application rejected Mar 17, 2012: Unfortunately, Genode Labs was not accepted as mentoring organization for this year's Google Summer of Code program.
Google Summer of Code 2012 Mar 08, 2012: Genode Labs applies as mentoring organization at the Google Summer of Code 2012 program.
Genode OS Framework release 12.02 Feb 28, 2012: Version 12.02 comes with a new API for MMIO access, a new ACPI driver, fork support for the Noux runtime, Qt version 4.7.4, and special support for using Genode as application framework on Linux.
Slides of our talks at FOSDEM 2012 Feb 14, 2012: The slides for both Genode-related talks at FOSDEM 2012 are available.
Source code moved to GitHub Jan 17, 2012: GitHub has become the central place for Genode's mainline development.
Genode at FOSDEM Jan 04, 2012: Meet us at FOSDEM 2012, to be held on 4-5 February in Brussels.
Road Map 2012 Jan 02, 2012: The road map for 2012 envisions the use of Genode as everyday development platform.
New issue tracker at Github Dec 20, 2011: To promote open development, the new issue tracker replaces both the public tracker at Sourceforge and the tracker formerly internal to Genode Labs.
Steps towards an open development process Dec 05, 2011: Genode is going to embrace an open and transparent development process.
Genode OS Framework release 11.11 Nov 29, 2011: With version 11.11, we explore a plethora of options of combining Genode with virtualization techniques.
Android on top of Genode Sep 27, 2011: With the new support for L4Android, the Android software stack can be used as Genode sub system.
Genode OS Framework release 11.08 Aug 17, 2011: Version 11.08 introduces a unified workflow for dealing with all microkernels supported by the framework. This way, application scenarios can be ported from one kernel to another in an instant.
Genode OS Framework release 11.05 May 26, 2011: The Genode version 11.05 advances the Fiasco.OC platform support to the same level as the other fully-featured base platforms, enables the use of L4Linux with Genode, and introduces a brand new API for inter-process procedure calls.
Exciting challenges ahead Mar 24, 2011: Explore more than 30 new Genode-related project proposals at our challenges wiki page
Norman Feske introduces Genode on YouTube Mar 10, 2011: Bas de Lange has published the footage of Norman Feske's talk at the Software Freedom Day 2010 in Amsterdam
Genode OS Framework release 11.02 Feb 24, 2011: Version 11.02 of the framework adds support for the Fiasco.OC and NOVA v0.3 kernels as well as a new custom kernel platform targeted at softcore CPUs. Furthermore, we introduce the Noux execution environment for using GNU software natively on Genode.
Genode OS walk-through on YouTube Dec 22, 2010: Check out our new screencast presenting the Genode Live CD 10.11.
Genode OS Framework release 10.11 Nov 30, 2010: With version 10.11, Genode has become able to run network drivers of the gPXE project, employ user-level on-demand paging, and use advanced graphics with the nitpicker GUI server.
Genode Live Demonstration 2010-11 Nov 16, 2010: The new Genode Live CD showcases the vast functional progress during the past year in a selection of five demos ranging from native Qt4/Webkit support to hardware-accelerated 3D graphics.
Genode OS Framework release 10.08 Aug 11, 2010: With Gallium3D, MadWifi, and a new block-driver infrastructure, the release 10.08 takes Genode's device-driver support to the next level.
Genode OS Framework release 10.05 May 27, 2010: The new version 10.05 adds support for mandatory access-control policies, introduces audio playback, and improves the integration of the paravirtualized OKLinux kernel with the framework.
Adaptation to Codezero kernel v0.3 Apr 06, 2010: The just released version 0.3 of the Codezero kernel adds support for the latest ARMv7 CPUs. The Genode OS Framework is now ready to be used with this new kernel version.
Genode OS Framework release 10.02 Feb 24, 2010: Among a variety of platform-related improvements, the release 10.02 adds support for the NOVA and Codezero kernels and introduces a new concept for managing real-time priorities.
Road map 2010 Jan 04, 2010: We have updated our road map with the planning of the year 2010.
Genode OS Framework release 9.11 Nov 25, 2009: With release 9.11 Genode gets Webkit, USB storage, TCP/IP stack, support for ARM, OKLinux and more ...
Genode Live Demonstration 2009-09 Sep 02, 2009: The latest release of the ready-to-boot Live CD image is available.
Genode OS Framework release 9.08 Aug 19, 2009: The release 9.08 advances the portability of the operating-system framework to a new level.
Document about Genode's native Qt4 port available Jul 06, 2009: The document "Portierung von Qt auf Genode" (german) describes the undertaking of making the Qt4 framework natively available on Genode. Among many technical insights, it provides an overview about the integration with Genode's GUI, and explains how Qt4's low-level interfaces are mapped to native Genode functionality.
Genode OS Framework release 9.05 May 27, 2009: With the release 9.05, we introduce the first fragments of USB support, update Qt to version 4.5.1, and add the OKL4 kernel as supported base platform.
Bringing Genode to the OKL4 kernel May 06, 2009: We have enhanced the range of supported kernel platforms by bringing Genode to the OKL4 kernel developed by Open Kernel Labs.
Genode on 64-bit Linux kernels Apr 17, 2009: Genode can now use both 32-bit as well as 64-bit versions of the Linux kernel as base platform.
Christian Prochaska joins our project as regular developer Apr 08, 2009: The developer of the Qt4 port for Genode joins Genode Labs to bring forward his Genode-related projects.
Genode OS Framework release 9.02 Feb 26, 2009: The version 9.02 of the Genode OS Framework introduces support for L4ka::Pistachio as base platform, a port of the Qt4 application framework, and networking.
Port of libSDL to Genode Jan 23, 2009: As announced on the Genode mailing list, the popular Simple Directmedia Library is being ported to Genode. A first version of the port and a demo application are already available.
Genode on the L4ka::Pistachio kernel Dec 18, 2008: The new L4ka::Pistachio version of the Genode OS Framework makes the unique features, performance, and stability of the L4::Pistachio kernel available for Genode's software stack.
Public bug tracker available Dec 12, 2008: Because we received several requests for a public bug tracker, we have now enabled the public tracker of our Sourceforge project.
Genode OS Framework release 8.11 Nov 21, 2008: We are pleased to announce the release 8.11 of the Genode OS Framework introducing a new device-driver API, a C runtime, support for asynchronous notifications, and many improvements of the base API.
Ready-to-boot Live-CD image available Oct 21, 2008: As a teaser for the upcoming release 8.11, we have compiled a Live-CD image showing off the current state of the Genode OS Framework.
New and exciting challenges ahead Sep 19, 2008: To foster the involvement of developers interested in working on Genode, we have enhanced the compilation of future challenges in our Wiki by a number of interesting Genode-related projects to pursue.
The Genode build system thoroughly examined Aug 22, 2008: In his paper "Empirical Comparison of SCons and GNU Make", Ludwig Hähne pursues the question of which build system to choose for an operating-system project such as ours. For his study, he took the Genode build system as a real-world use case. His results are not only valuable for our particular project but for everyone with an interest in build systems.
Genode ported to Syllable Server OS Aug 22, 2008: The developers of the Syllable OS project have ported Genode to the Linux-based server version of Syllable OS.
Genode OS Framework release 8.08 Aug 06, 2008: We released the first official version of the Genode OS Framework.
Project website launched Jul 29, 2008: The launch of our comprehensive project website genode.org marks the begin of our effort to turn Genode into a community project. The initial release of the Genode OS framework is scheduled for the 6th of August.
Genode Labs founded Jul 17, 2008: The original authors of the Genode OS Framework start a company dedicated to promoting and advancing Genode.

Sections