Genode News Tue, 22 Mar 2016 10:19:13 +0100 en-us How Genode came to RISC-V Tue, 22 Mar 2016 00:00:00 CET Our new article provides a look behind the scenes of porting Genode to the RISC-V hardware architecture. Genode OS Framework release 16.02 Fri, 26 Feb 2016 00:00:00 CET Genode 16.02 introduces the RISC-V hardware architecture to the framework, enables the secure pass-through of USB devices to virtual machines, and updates the Muen separation kernel and the seL4 microkernel. 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.