================================================
 Genode Labs Newsletter - August / September 2025
 ================================================

 Content

 1. Genode OS release 25.08
 2. Recording of Genode at the seL4 summit
 3. Meet us at the CCC Datenspuren in Dresden


 1. Genode OS release 25.08
 --------------------------

 The midyear release of Genode 25.08 features the outcome of three
 long-term working topics. First, we equipped our custom kernel with
 a brand new CPU scheduler designed specifically for the practical
 workloads of Sculpt OS and optimized for fairness and low latency.
 The second highlight is the experimental introduction of a new
 human-friendly configuration format as a potential alternative to
 the time-tested use of XML. By adding the new format as an option,
 the release kicks off a phase of practical evaluation. As the third
 major topic, the holistic optimization of the framework's block-
 storage stack streamlines the data paths between storage devices,
 over drivers, partition handling, up to the application level.

 Beside those headline topics, version 25.08 is not short on further
 improvements: Closely tracking Linux development, the release
 updates all PC drivers to kernel version 6.12. Among the framework's
 underlying microkernels, seL4 has received ongoing attention during
 the release cycle. We lifted long-standing limitations regarding
 dynamic scenarios such as Genode's pluggable drivers on this
 particular kernel and adopted its most recent release.

 For the entire picture, please refer to the release documentation:

   https://genode.org/documentation/release-notes/25.08


 2. Recording of Genode at the seL4 summit
 -----------------------------------------

 In our previous newsletter, we announced our participation at
 the seL4 summit in Prague, which took place at the beginning of
 September. At the second day of the summit, Genode developer
 Alexander Boettcher presented Sculpt OS on the seL4 kernel
 running live on his laptop. Thanks to the excellent organization
 of the summit, Alex' talk can now be enjoyed as recording:

   "Sculpt OS - A Dynamic General-Purpose OS Powered by Genode on seL4"

   https://www.youtube.com/watch?v=N624i4X1UDw

   https://sel4.systems/Summit/2025/program.html


 3. Meet us at the CCC Datenspuren in Dresden
 --------------------------------------------

 Datenspuren is the annual conference of the Dresden chapter of the
 Chaos Computer Club - three days packed with creativity, talks,
 practical workshops, and lively get-together.

   Datenspuren 2025 during September 19 to 21

   Zentralwerk, Riesaer Str. 32, Dresden

   https://www.datenspuren.de/2025/

 This year, Norman has the pleasure to present one of his leisure
 projects that combines Genode with Atari-8-bit assembly programming
 and his beloved MNT-Reform open-hardware laptop. If this raises your
 eyebrows, drop by!

   "A custom Genode-based Atari-8-Bit IDE on the MNT Reform laptop"

   Sunday, September 21, 13:00 at the Kabinett

   https://talks.datenspuren.de/ds25/talk/8WQAGE/


 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

 -- 
 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

phone:

  +49 351 3282613

email:

  info@genode-labs.com

legal information:

  imprint