Genode News Mon, 25 Jan 2016 10:21:06 +0100 en-us Road Map for 2016 Fri, 15 Jan 2016 00:00:00 CET We finalized the road map for 2016, which is primarily focused on extending the community of users. Genode at FOSDEM 2016 Tue, 12 Jan 2016 00:00:00 CET There are four Genode-related talks scheduled at this year's FOSDEM, covering the USB Armory, seL4, the Nix package manager, and Genode as desktop OS. The story behind Genode's TrustZone demo on the USB Armory Tue, 08 Dec 2015 00:00:00 CET Our latest article provides a look behind the scenes of the development of Genode's support for the USB Armory platform. Genode OS Framework release 15.11 Mon, 30 Nov 2015 00:00:00 CET The primary focus of version 15.11 is the use of Genode as a desktop OS. It vastly improves the GUI and audio stacks, features the port of Intel KMS from Linux, extends the support for the USB Armory and Xilinx Zynq-7000, and introduces new file-system infrastructure such as a VFS server. 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.