This release focuses on storage and virtualization bringing Genode one step further to a general-purpose OS. Storage-wise we improved our block-driver API to better support asynchronous operation, added a block-cache implementation, and extended our file-system support with NetBSD rump kernels. Genode now supports ext, FAT, exFAT, and NTFS. Second, we enhanced our virtualization portfolio by a port of the VirtualBox VMM to Genode/NOVA, which enables support for a wide range of guest OSes (including MS Windows).... read more
The fresh release has a long list of news and changes in the base framework, the runtime and infrastructure parts, as well as on the application and platform support side. Some highlights are support for QML for Qt5, ballooning support in L4Linux on Fiasco.OC, dynamic resource balancing and support for dynamic workloads on base-hw.
Extensive information about the changes and features of Genode 13.11 are available in the release documentation at http://genode.org/documentation/release-notes/13.11
The fifth-anniversary release of Genode expands the framework in three dimensions: addition of light-weight event tracing, enhanced support for multi-processor platforms, and first steps of migrating to Qt5. Furthermore, we added more drivers for Exynos5, improved networking performance and enhanced our x86 VMM support.
More detailed information about Genode 13.08 can be found in the release documentation at http://genode.org/documentation/release-notes/13.08... read more
The current release focuses on the consolidation and optimization of the available feature set. Whereas this diverges quite a bit from our feature-oriented roadmap, it will have a more sustainable effect than functional enhancements at this time. Nevertheless, we also packed some appealing highlights into Genode 13.05: improved SoC support for Exynos 5, OMAP4, Raspberry Pi, i.MX; enhanced terminal infrastructure; device-driver updates.... read more
The February 2013 release follows the tradition to focus on platform support at the beginning of a year. So, we improved the support for the NOVA microhypervisor (dynamic workloads, IOMMU, x86 virtualization) and extended the range of supported ARM SOCs (i.MX53, Exynos 5250). Additionally, several aspects of the framework were revised and conditioned for future challenges (synchronization primitives, low-latency audio, fault detection).... read more
The Genode developers are celebrating the self-hosting of their genuine operating system environment with a fresh release. On the bill are also OSS-based sound drivers, extended support for the TI OMAP4 and Freescale i.MX SoCs, and numerous stability and performance improvements concerning the underlying kernel platforms.
The most notable improvement from the perspective of a Genode developer is the ability to build Genode within the Genode environment leaving aside any virtualization. Therefore, we extended our UNIX-runtime environment named Noux to fit the requirements of a lot of tools involved in the build process (e.g., GCC, binutils, bash, and findutils). Furthermore, we extensively improved the support for OMAP4 SoC used in the famous Pandaboard. An accompanying article telling the adventure can be found here http://genode.org/documentation/articles/pandaboard.... read more
On its 4th anniversary Genode brings enhanced platform support for ARM and the NOVA microhypervisor. Also, Genode is now able to run directly on ARM platforms without the need for an underlying kernel.
The current release introduces the new base-hw platform, which enables Genode to run directly on ARM Cortex-A9 platforms. The new hybrid kernel-core approach vastly reduces the complexity of the root of the process tree to about 13,000 lines of code with highly positive impact on security and robustness. Furthermore, the support for NOVA experienced an extensive improvement. Genode/NOVA now runs on x86 32bit and 64bit platforms, utilizes kernel capabilities for object-integrity protection, and centralizes kernel-resource allocation in core. Additionally, enhanced OMAP4 SoC support, VFAT and TAR file-system support, Noux runtime improvements and the port of the lighttp web server complete this release.... read more
Genode walks the road mapped for 2012 and brings a release packed with features, e.g., native execution of the tool chain (GCC, G++, Binutils), a new USB stack, and media replay capabilities.
The release follows our road map and introduces three major features. First, the Noux runtime is growing and thriving. It supports a growing number of unmodified GNU programs, most notably the Genode tool chain. Furthermore, we added support of stacked file systems and networking. Second, we fundamentally re-approach the challenge of device drivers and ported a new USB stack from Linux 3.2 to Genode. Finally, Genode 12.05 adds a native file-system session interface and first implementation of an in-memory file system. The new interface is already integrated in Noux and the C runtime.... read more
The current release marks the first step in our open development process. It brings fork support in Noux, ACPI support, and base framework improvements.
At the turn of the year 2011/12, we changed Genode's development process from a Genode Labs internally driven model to a completely open process. The new approach involves the community into more design, operational, and even strategic discussions. The first step was the issue-tracker migration from Sourceforge to GitHub. After that we migrated the source code from Genode-Labs-internal Mercurial repositories to a public Git repository also hosted on GitHub. From now on, https://github.com/genodelabs/genode reflects the current state of development of the official Genode repository and is accompanied by several public forks with feature branches of Genode developers on GitHub. Nonetheless, we will release quarterly on Sourceforge via Subversion and archive files in the future.... read more
The Genode project opens up its development process and, therefore, goes to GitHub for its code repository and issue tracker. We already migrated all issues to https://github.com/genodelabs/genode/issues and are working on the code migration. Nevertheless, we plan to maintain the Sourceforge Subversion repository and file releases in the future.
Today, Genode Labs published the new version of the Genode OS framework packed with cool features: Vancouver VMM on Nova, Vi IMproved in our UNIX environment, L4Android on Fiasco.OC, native GDB support, and new platform drivers for ARM. Additionally, Genode brings its own GCC 4.6 based tool chain.
Virtualization support is a must in modern operating systems and Genode walked this path in the past with support for OKLinux and L4Linux. With the current release, we complete the plethora of virtualization levels in Genode by support for faithful virtualization using the Vancouver VMM on Nova, an Android-compatible version of L4Linux, and the Noux runtime environment for UNIX applications. Even on application level, the support for GDB-based debugging of Genode subsystems adds to this picture as kind of "application-level virtualization".... read more
The new release brings unified workflows for all base platforms with a streamlined tooling support, enhanced documentation, and a new quality-assurance infrastructure as well as some functional additions.
With the version 11.08, the framework relieves the burden of using distinct base platforms with Genode by introducing a unified way to download, build, and use each of the kernels with Genode's user-level infrastructure. The new tools empower users of the framework to instantly change the underlying kernel without the need to know the peculiarities of the respective kernels. Using microkernels has never been easier.... read more
With the current release Genode broadens the range of base platforms by adding support for the Fiasco.OC kernel and the MicroBlaze softcore.
The new supported Fiasco.OC kernel offers a rich feature set that is unmatched by any other open-source microkernel. It works with the x86_32, x86_64, and ARM architectures, features capability-based security, scales to multiple CPUs, and provides special optimizations for running virtualized operating systems on top.... read more
The current release reveals all the gems and improvements presented on the live CD two weeks ago as source code.
The highlights of 10.11 are support for user-level dataspace managers in the base framework and the new device-driver environment for NIC drivers from the gPXE project. We also added features like an ISO9660 file system, block device over HTTP, native alpha-blending support in Nitpicker, and a Qt4 Nitpicker plugin widget.... read more
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. Download the new live CD featuring five setups showcasing our efforts of the past year at http://genode.org/download/live-cds
With Gallium3D, MadWifi, and a new block-driver infrastructure, the release 10.08 takes Genode's device-driver support to the next level.
Wireless networking and hardware-accelerated graphics are commonly regarded as two of the most sophisticated domains when it comes to device-driver support in operating systems. We are proud to have taken the challenge to support these device classes in the Genode OS Framework. The just released version 10.08 comes with support for the Gallium3D software stack alongside the Intel graphics execution manager, which enables Genode applications to perform hardware-accelerated 3D graphics on Intel GMA platforms. Our port of the MadWifi wireless stack pushes the limits of what can be done with our Linux device-driver environment. Furthermore, we extended our device-driver-related activities to block devices, resulting in a new block-device interface and an ATAPI driver accompanied with an ISO 9660 file system. Apart from device drivers, there are numerous other improvements such as the upgrade to Qt4.6.3 and support for dynamic linking on platforms using ARM EABI.... read more
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.
With the current release, we focused on functionality to broaden the application area of the framework. The infrastructure of the framework has advanced to a point that allows running a steadily growing number of typical general-purpose applications directly on Genode. This is best illustrated by the fully functional Arora web browser running as a native Genode process. Still, there are a large number of usage scenarios that rely on Linux applications. For this reason, we further improved the integration of the paravirtualized OKLinux kernel with Genode. The new version adds support for seamlessly integrating the X Window System running on OKLinux with the native nitpicker GUI. For Genode developers, there is a new build system, which significantly improves the build performance on multi-processor systems.... read more
With release 10.02, we added support for the NOVA and CodeZero kernels and introduced a new concept for managing real-time priorities.
The release 10.02 again broadens the field of applications for Genode by introducing support for two new kernels: the Codezero kernel and the NOVA hypervisor. The former is primarily targeted at ARM platforms, the latter at x86 virtualization. Moreover, we introduced a management concept for real-time priorities within the framework's API, which can be used in conjunction with the real-time schedulers of the L4ka::Pistachio and OKL4 kernels. Beside many improvements and refinements of the existing parts of the framework, we incorporated the initial port of the Python script interpreter into this release.... read more
With release 9.11 Genode gets Webkit, USB storage, TCP/IP stack,
support for ARM, OKLinux and more...
For the project, the current release is a major leap towards the goal of Genode to become a general-purpose OS platform. The addition of OKLinux - a paravirtualized Linux kernel - to the distribution makes it possible to run security-sensitive native Genode applications side by side with unmodified Linux binaries. This particular version of Linux has no direct hardware access but rather uses native Genode services as virtual hardware devices. With respect to available device classes, we extended Genode's support to cover USB storage and networking drivers. Moreover, the porting of the Light-weight IP stack and Q4/Webkit now enables developers to create web applications on top of Genode. Beside the new functionality, Genode's platform scope was broadened by initial support of the ARM architecture.... read more
We have released the version 9.08 of the Genode OS Framework. The general theme of this release has been refinement. We are particularly happy for having resolved long standing concerns about our locking and signalling implementations. The actual focus of our work during the last three months was the unification of all supported base platforms resulting in many generalizations of former platform-specific code. We managed to bring the code for the Linux version very much in line with the supported L4 platforms, reducing platform-specific source-code complexity and maintenance costs. Feature-wise, the most important news are the port of the dynamic linker from FreeBSD, the added support for thread-local storage, a much improved timer service, and core extensions for running Linux on the OKL4 version of Genode.... read more
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.
The new release continues the general theme to enhance our potential user base by broadening the base-platform support and, at the same time, extending the functionality of the framework. We have now added the OKL4 kernel to the supported base platforms. OKL4 is a commercial-grade kernel developed by Open Kernel Labs and primarily targeted at embedded systems. Along with this integration work, we were able to further advance the portability of Genode by generalizing much of former platform-dependent code. On the feature side, we introduced the first parts of a USB stack, making Linux' USB host-controller drivers and a human-interface device driver available on Genode. As outlined in the release notes, there is also good progress on executing Linux as a sub system of Genode. Furthermore, we have now seamlessly integrated the support for the Qt application framework into the Genode source tree and bumped the version to 4.5.1.... read more
With the port of Genode to the OKL4 kernel, we have taken another step to reach a broader user base of the framework. In contrast to the already supported microkernels L4ka::Pistachio and L4/Fiasco, the OKL4 kernel developed by Open Kernel Labs is largely deployed in commercial settings. Despite of being a member of the L4 family of kernels, OKL4 has a much modernized kernel API that fits quite well with the Genode architecture. For example, OKL4 does not rely on an in-kernel mapping database, frees the IPC operation from wall-clock timeouts, supports asynchronous notifications, and provides kernel support for user-level synchronization.... read more
We are pleased to announce the release 9.02 of the Genode OS Framework introducing support for the L4ka::Pistachio microkernel, base networking support, and a port of Qt4 core and GUI libraries to Genode.
Whereas the focus of the previous release 8.11 was the refinement of Genode's base API and the creation of the infrastructure needed to build real-world applications, the new release 9.02 is focused on functional enhancements in two directions. The first direction is broadening the number of possible base platforms for the framework. At present, most microkernels bring along a custom user land, which is closely tied to the particular kernel. Our vision is to establish Genode as a common ground for developing applications, protocol stacks, and device drivers in such a way that the software becomes easily portable among different kernels. This release makes Genode available on the L4ka::Pistachio kernel. Hence, software developed with the Genode API can now run unmodified on Linux/x86, L4/Fiasco, and L4ka::Pistachio. In the second direction, we are steadily advancing the functionality available on top of Genode. With this release, we introduce a basic networking facility and support for native Qt4 applications as major new features. Thanks to Genode's portability, these features become automatically available on all supported base platforms.
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.
The Simple Directmedia Layer library (libSDL) is a very popular cross-platform media library that provides hardware abstractions for graphics, input devices, and sound. It is often used as back end for games, emulators, and media players. Also the Linux version of Genode relies on the hardware abstractions provided by libSDL.... read more
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.
L4ka::Pistachio is the reference implementation of the L4 API version x.2 (also referred to as version 4). With the port of Genode to L4ka::Pistachio conducted by Julian Stecklina, this kernel has become available as a base platform for Genode. The choice of leveraging the special characteristics of L4ka::Pistachio, the Linux kernel, or L4/Fiasco has become just a matter of recompilation.
This way, software written against the Genode API can benefit from the long-year research and development invested into L4ka::Pistachio by the L4ka group at the University of Karlsruhe and the DiSy group at the University of New South Wales.
We have made the L4ka::Pistachio version of Genode available at our public subversion repository. It will become a regular part of Genode with the upcoming release as scheduled for February. The instructions for building and using Genode with the L4ka::Pistachio kernel are provided at our Genode-on-L4ka::Pistachio wiki page http://genode.org/community/wiki/GenodeOnL4kaPistachio.