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