Introduction
We understand the complexity of code and policy as the most fundamental security problem shared by modern general-purpose operating systems. Because of high functional demands and dynamic workloads, however, this complexity cannot be avoided. But it can be organized. Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software components including device drivers, system services, and applications. The Genode OS framework is the effort to advance the Genode OS architecture as a community-driven open-source project.
News
-
Genode OS Framework release 9.05
- 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
- 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
- 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
- The developer of the Qt4 port for Genode joins Genode Labs to bring forward his Genode-related projects.
-
Genode OS Framework release 9.02
- 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
- 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.
Latest screenshots
The Genode release 9.02 introduced support for native Qt4 applications. The screenshot displays the Tetrix Qt4 example application side-by-side with low-complexity graphical Genode applications. See the full screenshot...
The demonstration scenario provided with the official Genode distribution shows off Genode's ability to create and destroy arbitrarily shaped process trees, which can include multiple instances of services in a nested fashion. The screenshot shows an isolated instance of the GUI server running in a window of another GUI-server instance. The whole demo scenario including the graphical user interface has a source-code complexity of less than 20,000 lines of code. With Genode, graphically rich applications and a low-complexity trusted computing base are no contradiction. See the full screenshot...
