================================================ Genode Labs Newsletter - October / November 2018 ================================================ Content 1. Genode OS Framework 18.11 released 2. Microkernels and Component-based OSes developer room at FOSDEM 2019 3. Convergence of MirageOS and Genode 1. Genode OS Framework 18.11 released ------------------------------------- Yesterday, we released version 18.11 of the Genode OS Framework. According to our road map for 2018, the main topic of this release is software quality and resilience, which we addressed on multiple levels. We incorporated the Clang static code analyzer into our development workflows and enabled runtime code coverage metrics based on Gcov. Also, we integrated our existing component tests into one orchestrated on-target test automation framework based on Genode. Finally, we added a mechanism for component health monitoring to improve the resilience of Genode systems with undependable components. The second subject we approached during the last months is Genode for network appliances and server applications. Therefore, the current release features the ability to host MirageOS unikernels as components running directly on Genode and a new SSH server component. Further highlights are an initial version of the Genode SDK, enhanced flexibility of the GUI stack of Sculpt OS with a modularized window system and a new window layouter, improved network performance on Xilinx Zynq, and updated language support for Java and Ada. All changes and improvements of Genode 18.11 are covered by the comprehensive release documentation: https://genode.org/documentation/release-notes/18.11 2. Microkernels and Component-based OSes developer room at FOSDEM 2019 ---------------------------------------------------------------------- The FOSDEM is an annual two-day event in the city of Brussels (Belgium) and widely recognized as the most important conference of the Free-Software and Open-Source community in Europe. The upcoming FOSDEM will take place on February 2-3 2019: https://fosdem.org/2019/ The developer rooms (devroom) set up by the conference team are a great opportunity for software developers to meet in "real life" and showcase their projects. Since 2012, the Microkernel devroom is the place to gather people from the Open-Source microkernel community. Next year's event will be shepherded by Genode and we invite all open-source projects that are related to microkernels or component-based operating systems to join. 3. Convergence of MirageOS and Genode ------------------------------------- The unikernel approach is highly interesting for Genode because of the emphasis on the application and the ambition to provide the entire required software stack as one appliance, i.e., component. MirageOS is the most successful representative available and has the notable advantage of focus on security and safety by leveraging OCaml as a functional language runtime as well as networking applications. Adding MirageOS support to Genode was a gradual process that happened over the course of several months. In the spring, we learned about the Solo5 unikernel platform library from Adrian-Ken Rueegsegger at the Hack'n'Hike, who had ported it to Muen. Second, this summer while attending the Bornhack camp in the Baltic Sea we finally met some of the MirageOS developers and produced our initial bindings. Then, in the fall one of our developers travelled to Marakesh for the MirageOS hack retreat. The Solo5 bindings layer between Genode and Mirage was completed and the Mirage tooling was amended with Genode support. The enablement of MirageOS unikernels comes with minimal implementation and maintenance effort in Genode, but brings current and future applications to Genode as regular components without additional porting effort. We are excited about the prospect of future applications from the Mirage world. About the newsletter -------------------- If you have friends or colleagues who might be interested in our projects, we would appreciate you to forward this email. If you received this newsletter as a forwarded email, you may subscribe to the newsletter here: https://genode-labs.com/newsletter In the case of receiving this newsletter unintended, you can cancel your subscription at any time by replying to this email with the subject set to "unsubscribe". Best regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth