Genode 16.08 brings lots of improvements ranging from base-platform support over networking and virtualization to a new tool for statistical profiling. We are proud to announce that we support seL4 as base platform for dynamic and interactive scenarios on x86. The new version enables users of seL4 to compose dynamic operating systems from a plethora of ready-to-use Genode components. Further, the Muen developers contribute their efforts in running unmodified guest operating systems on top their separation kernel with a port of VirtualBox 4. As we consider VirtualBox as key feature of Genode, this release includes a first experimental version of VirtualBox 5 on top of the NOVA kernel. Another highlight of the new version is a virtual networking component for routing and NAT accompanied by the ability to use the TOR network.... read more
The central aspect of the current release is the fundamental renovation of our base API. The API gradually evolved over the years since 2006 while we gained a wealth of experience with a wide range of usage scenarios and their requirements. We eventually realized that we need fundamental changes to greatly increase robustness and flexibility, and those changes will break backwards compatibility in many places. Therefore, this release brings new API functions reflecting our current knowledge about how a secure C++ OS framework should look like and, on the other hand, deprecates a wide range of interfaces that will be removed in future versions.... read more
Genode 16.02 adds RISC-V as a supported CPU architecture to our custom kernel, enables secure pass-through of individual USB devices to virtual machines, and updates the support for the Muen and seL4 kernels. We also improved our GUI stack and developed a custom USB mass-storage driver that runs separated from the now reconfigurable USB host-controller driver.
Detailed information about all changes of Genode 16.02 can be found in the release documentation at http://goo.gl/zYRMGq
With a strong focus on Genode as a desktop operating system, version 15.11 brings lots of improvements in the whole software stack. The new features range from a port of Intel graphics adapter driver from Linux over secure copy-paste to completely dynamic configuration of the de-componentized GUI. Additionally, we added support for Xilinx Zynq-7000 and 64-bit guests in VirtualBox as well as improved support for TrustZone on the USB Armory device.... read more
The current release is characterized by our efforts to use Genode as day-to-day operating system. From this background, we packed plenty of small improvements regarding user GUI experience, VirtualBox robustness and performance, integration of native Genode applications and guest OSes as well as tools to inspect the system behavior into Genode 15.08. Beyond that, we're proud to integrate community contributions as the support to run Genode base-hw on the Muen separation kernel on x86_64 and extended device-driver support for Raspberry Pi and Odroid-X2.... read more
With Genode 15.05, our base-hw kernel, which enables the execution of Genode without a third-party microkernel and originally supported the ARM architecture only, has become able to run on the 64-bit x86 architecture. Also, base-hw received support for kernel-protected capabilities and the scheduler got much more flexible. Beside the improvements of our custom kernel, we also introduce preliminary support to run simple system scenarios on top of the seL4 microkernel. With seL4, there is now the prospect of running Genode on top of a formally verified kernel.... read more
Our plans for 2015 comprise the consolidation and cultivation of the existing feature set of Genode rather than the conquering of new grounds. Along these lines, our fresh release introduces a highly modular tool kit for automated testing and brings plenty of stability and performance improvements, e.g., for VirtualBox on NOVA. Nevertheless, we added one prominent feature to Genode 15.02, which is support for virtualization on ARM with our custom base-hw kernel.... read more
With the current release, we enable support for wireless networking including WiFi protected access (WPA) in Genode. The supported hardware is currently limited to Intel wireless chipsets, i.e., iwl6xxx. The second major improvement is a new scheduler for our custom HW kernel. The new scheduler allows to trade CPU resources among Genode subsystems, similarly to how RAM is managed in Genode.
Other highlights of Genode 14.11 are a new dynamic linker implemented from scratch with a complexity of less than 20% of the old ported one, an upgrade of VirtualBox to version 4.3.16 along with extensive stability improvements, networking support for Raspberry Pi, and new GUI components.... read more
The main theme of Genode 14.08 is its new GUI architecture that scales to modern flexible and dynamic GUIs but also maintains the strong security of the nitpicker approach. Further, the release improves virtualization on the NOVA microhypervisor with SMP support in Seoul and networking in VirtualBox. Our custom base-hw kernel got a boost on ARM hardware, OpenVPN was ported to Genode and DDE Linux was updated to upstream version 3.14.5.... read more
The fresh release comes with a strong focus on framework scalability. We introduce a new concept for integrating third-party software. The concept unifies existing separate solutions into one port-management tool. Also, we are proud of our per-process virtual file system library, which supports programs based on the C runtime to seamlessly integrate with isolated file services for distinct concerns, e.g., web-server configuration and data.... read more
We dived right into the world of ARM TrustZone. Read about our endeavor of combining Genode with ARM security extensions in a new article  and enjoy the accompanying video .
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