Genode News Thu, 03 Sep 2015 14:58:49 +0200 en-us Genode OS Framework release 15.08 Mon, 31 Aug 2015 00:00:00 CEST Version 15.08 marks the starting point of Genode used as day-to-day operating system, which underlines the maturity and scalability of the framework. A further highlight is the ability to execute Genode on top of the Muen separation kernel. Genode OS Framework release 15.05 Tue, 26 May 2015 00:00:00 CEST For the first time, a Genode release is accompanied by a book. Further highlights of the current release are vast improvements of our base-hw kernel, preliminary support for the seL4 microkernel, new device-driver infrastructure, and plenty of new device drivers. Genode's core running on the seL4 kernel Mon, 18 May 2015 00:00:00 CEST In the third part of our seL4 article series, we describe the steps taken to run Genode's fundamental components on seL4. 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.