News http://www.genode-labs.com Tue, 31 Jan 2017 11:57:20 +0100 en-us Road Map 2017 http://www.genode-labs.com/news/2017-01-31 Tue, 31 Jan 2017 00:00:00 CET After a vivid brainstorming discussion on our mailing list, we finalized Genode's official road map for this year. Symposium on Networked Security / Industrie 4.0 http://www.genode-labs.com/news/2016-09-21 Wed, 21 Sep 2016 00:00:00 CEST Genode will attend the Symposium on Networked Security / Industrie 4.0 at the Security Essen fair. Interactive and dynamic workloads on top of the seL4 kernel http://www.genode-labs.com/news/2016-09-20 Tue, 20 Sep 2016 00:00:00 CEST Genode's flexible and scalable OS architecture can now be combined with the formally verified seL4 microkernel. Genode OS Framework 16.08 released http://www.genode-labs.com/news/2016-08-31 Wed, 31 Aug 2016 00:00:00 CEST Beyond the vastly improved support for seL4, the new release brings a lot of improvements in other areas ranging from networking over virtualization to new tools for statistical profiling. Genode OS Framework 16.05 released http://www.genode-labs.com/news/2016-05-31 Tue, 31 May 2016 00:00:00 CEST With Genode 16.05, the framework API undergoes a fundamental revision, the Rust language becomes available to Genode components, GDB can now be used on 64-bit NOVA, and all ported device drivers have been updated to the current versions of the Linux and OpenBSD kernels. Genode OS Framework 16.02 released http://www.genode-labs.com/news/2016-02-26 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. Genode talks at FOSDEM 2016 http://www.genode-labs.com/news/2016-01-20 Wed, 20 Jan 2016 00:00:00 CET There are four Genode-related talks scheduled at FOSDEM 2016 in Brussels. Road Map 2016 http://www.genode-labs.com/news/2016-01-19 Tue, 19 Jan 2016 00:00:00 CET The just published Genode road map puts emphasis on fostering community participation. Upcoming Hack'n'Hike end of May http://www.genode-labs.com/news/2016-01-18 Mon, 18 Jan 2016 00:00:00 CET The registration is open for our yearly Hack'n'Hike event. Genode OS Framework 15.11 released http://www.genode-labs.com/news/2015-11-30 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.