Genode News Wed, 31 Aug 2016 14:03:40 +0200 en-us Genode OS Framework release 16.08 Wed, 31 Aug 2016 00:00:00 CEST Genode 16.08 makes the entirety of the framework's drivers, protocol stacks, and libraries available on the seL4 kernel, brings VirtualBox 4 to the Muen separation kernel, and hosts VirtualBox 5 on top of the NOVA kernel. Further highlights are virtual networking and TOR, profound Zynq board support, and tools for statistical profiling. Genode OS Framework release 16.05 Fri, 27 May 2016 00:00:00 CEST With version 16.05, the Genode API receives a fundamental revision. The list of further improvements ranges from the introduction of Rust, over improved GDB support, to a profound update of many device drivers and ACPI features. 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.