News Wed, 01 Mar 2017 17:31:53 +0100 en-us Genode OS Framework release 17.02 Tue, 28 Feb 2017 00:00:00 CET By introducing application binary interfaces, version 17.02 cultivates the cross-kernel binary compatibility of components. Furthermore, the new version comes with a vastly improved VFS infrastructure, new input-event processing capabilities, and a dynamic component-composition engine. Road Map 2017 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 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 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 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 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 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 Wed, 20 Jan 2016 00:00:00 CET There are four Genode-related talks scheduled at FOSDEM 2016 in Brussels. Road Map 2016 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 Mon, 18 Jan 2016 00:00:00 CET The registration is open for our yearly Hack'n'Hike event.