Genode - Genode News

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