========================================= Genode Labs Newsletter - June / July 2025 ========================================= Content 1. Genode and Sculpt OS exhibited at FrOSCon on August 16-17 2. Our participation in the seL4 summit during September 2-5 3. Join our team's anniversary celebration 4. New editions of the "Foundations" and "Applications" books 1. Genode and Sculpt OS exhibited at FrOSCon on August 16-17 ------------------------------------------------------------ The FrOSCon Free and Open Source Software Conference held mid August in Sankt Augustin is a fantastic gathering of projects and enthusiasts united by their dedication for Free Software. FrOScon Free and Open-Source Software Conference August 16 and 17 in Sankt Augustin https://froscon.org After having hosted a Genode booth for the first time in 2024, which was simply delightful, we had to join again! This time, our project will be represented by our team members Sebastian Sumpf and Josef Soentgen who will showcase Genode in various flavours and forms. If you are attending FrOSCon, make sure to drop by. 2. Our participation in the seL4 summit during September 2-5 ------------------------------------------------------------ The seL4 microkernel project pursues the application for formal methods to the operating-systems domain. Even though we enabled the basic combination of Genode with the seL4 kernel as early as 2015, this line of work remained largely experimental and limited to the scope of rather static systems. Earlier this year, however, Genode core developer Alexander Boettcher aspired to bring the fully featured and highly dynamic Sculpt OS over to this kernel. The outcome of this undertaking will be presented at the seL4 summit. seL4 Summit September 3 to 5 in Prague https://sel4.systems/Summit/2025/ https://sel4.systems/Summit/2025/program.html For those interested in leveraging seL4 and Genode together, don't miss the opportunity to catch up in person by joining the summit! 3. Join our team's anniversary celebration ------------------------------------------ With joyful anticipation, we will continue our tradition of holding an informal barbecue with collaborators, friends, and families of our project. The date and location is set: Dresden, September 11 Fire place nearby Eisenberger Strasse Start at 18:00 Google Maps: https://goo.gl/maps/C0luj Dwell together in past and present stories, experiences, and plans. Enjoy a cool drink or two. Check what the grill has to offer. Or just stroll around the scenery and relax. If you plan to attend, please let us know by writing a short note to: info@genode-labs.com 4. New editions of the "Foundations" and "Applications" books ------------------------------------------------------------- We are happy to announce brand new editions of our "Foundations" and "Applications" books, which can be downloaded for free. Following the release of the Genode Framework 25.05, the Foundations book has received its annual revision. The new version features an updated discussion of error handling and the C++ exception mechanism, adjusts many examples to a more concise configuration style, and covers recent additions like partial session-label rewriting. Most notably, however, the API reference has received much attention, reflecting the move of the framework away from C++ exceptions to the use of sum types for error handling. Genode Foundations (PDF) https://genode.org/documentation/genode-foundations-25-05.pdf Developers targeting Sculpt OS version 25.04 can now enjoy a wealth of up-to-date material in the form of the revised Applications book. Besides the adaptation to the current versions of the Goa SDK and Sculpt OS, the book features a new tutorial for porting 3rd-party software, taking curl as a practical example. It also gives plenty of practical advice, from setting up virtual networking on a developer's machine to the sandboxed operation of the Goa SDK. Genode Applications (PDF) https://genode.org/documentation/genode-applications-25-04.pdf 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
