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