Genode Labs Newsletter - October / November 2018


 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:


 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:


 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:


 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

postal address:

  Genode Labs GmbH
  Dammweg 2
  D-01097 Dresden

visiting address:

  Genode Labs GmbH
  Friedrichstr. 26
  D-01067 Dresden


  +49 351 3282613