Genode News Fri, 27 Feb 2015 12:35:39 +0100 en-us Genode OS Framework release 15.02 Tue, 27 Jan 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. Genode OS Framework release 14.02 Fri, 28 Feb 2014 00:00:00 CET The two highlights of the new release are VirtualBox running on top of the NOVA microhypervisor and the added support for NetBSD's file systems. Furthermore, the release comes with new or largely revised storage components such as a block cache. Slides and videos of our FOSDEM talks Mon, 10 Feb 2014 00:00:00 CET We held two talks at FOSDEM 2014: Stefan Kalkowski presented Genode running on the secure side of ARM TrustZone whereas Norman Feske gave an overview of the project's efforts towards general-purpose computing.