Genode News Wed, 30 Aug 2017 12:55:34 +0200 en-us Genode OS Framework release 17.08 Wed, 30 Aug 2017 00:00:00 CEST 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 Wed, 31 May 2017 00:00:00 CEST 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 Wed, 01 Mar 2017 00:00:00 CET 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 Tue, 28 Feb 2017 00:00:00 CET 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 Tue, 21 Feb 2017 00:00:00 CET 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 Tue, 17 Jan 2017 00:00:00 CET The year 2017 will be overall focused on stressing the scalability and stability of the framework. Genode at FOSDEM 2017 Wed, 11 Jan 2017 00:00:00 CET 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 Wed, 30 Nov 2016 00:00:00 CET 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 Wed, 31 Aug 2016 00:00:00 CEST 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 Fri, 27 May 2016 00:00:00 CEST 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.