Genode Labs Newsletter - June / July 2017


 1. Celebrate Genode's 9th anniversary with us!
 2. Broadening the platform support of Genode on seL4

 1. Celebrate Genode's 9th anniversary with us!

 To continue our tradition of celebrating our accomplishments in the
 form of a seasonal barbecue and camp fire, we invite Genode's friends
 and community to the banks of the river Elbe in Dresden/Germany.

 Unlike previous years, which were focused on technical breakthroughs,
 the leitmotif of the past year was Genode's long-term sustainability,
 maturity, and scalability. On that account, we streamlined key infra-
 structure (such as the VFS), and profoundly revisited the framework's
 architectural foundations and lowest-level protocols. This line of
 development eventually culminated in the application-binary
 compatibility across kernels as different as seL4, NOVA, or Linux.
 The practiced continuity of development was underlined by the third
 edition of the "Genode Foundations" book.

 With regard to Genode's role within the open-source community, we
 had the honor of hosting the microkernel devroom at this year's
 FOSDEM, and are very happy about the fruitful relationships with
 sister projects like the Muen separation kernel and the seL4
 microkernel community. Business-wise, we are delighted about the
 growing use of Genode in commercial products, and about Genode's
 role as the technological basis for entirely new ventures, pursued
 independent from our company.

 Let us meet together to celebrate the past, present, and future
 of our project, and enjoy the get-together of the Genode team and
 collaborators. We will hold the anniversary party at the river bank
 of the Elbe:

   Google Maps: http://goo.gl/maps/C0luj

   31st of August, 6 pm near Eisenberger Strasse in Dresden

 Enjoy the atmosphere at the river bank with tasty barbecue of
 vegetarian and non-vegetarian food, and a nice selection of
 beverages! If you are going to attend, please let us know by
 writing a short note to:


 2. Broadening the platform support of Genode on seL4

 The seL4 microkernel is certainly the most anticipated kernel among
 the various Genode base platforms. Its story of formal verification
 - and the implied absence of kernel bugs - is extremely compelling.
 Genode supports seL4 in an experimental fashion since two years.
 For most of the time, however, this version remained a proof of
 concept, limited to the 32-bit PC hardware.

 The repeatedly expressed interest in the combination of seL4 with
 Genode and the rewarding interaction with the seL4 community
 prompted us to further cultivate Genode on this kernel. With the
 upcoming version 17.08, Genode will become able to use seL4 on
 64-bit PC hardware as well as ARM-based devices, i.e., boards using
 the NXP i.MX6 SoC.

 The new Genode version is scheduled for end of August.

 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

 Dr.-Ing. Norman Feske
 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