Genode News Thu, 12 Mar 2015 12:23:41 +0100 en-us An in-depth look into the ARM virtualization extensions Thu, 12 Mar 2015 00:00:00 CET 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 Tue, 10 Mar 2015 00:00:00 CET 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 Fri, 27 Feb 2015 00:00:00 CET 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 Wed, 14 Jan 2015 00:00:00 CET After brainstorming Genode's mid-term future on our mailing list, we finalized our road map for this year. Genode at FOSDEM 2015 Wed, 14 Jan 2015 00:00:00 CET 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 Fri, 28 Nov 2014 00:00:00 CET 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 Thu, 30 Oct 2014 00:00:00 CET 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 Thu, 28 Aug 2014 00:00:00 CEST 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 Thu, 29 May 2014 00:00:00 CEST 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 Thu, 10 Apr 2014 00:00:00 CEST A new article supplemented by a demonstration video presents our endeavour of combining Genode with the security features of ARM TrustZone.