users May 2026

users@lists.genode.org

2 participants
3 discussions

Announcement: Genode OS Framework version 26.05 released
by Christian Helmuth 29 May '26

29 May '26

Hello everyone, I'm happy to announce the Genode 26.05 release and the completion of our migration from GitHub.com to Codeberg.org! On the technical side, we turned the prominent aspects of Sculpt OS into building blocks that can easily be reused to craft custom operating systems based on Genode. Further, we significantly improved our driver base, for example by fine-grained DMA-buffer accounting, MSI/MSI-X support, Linux 6.18 driver sources, and an advanced LTE modem stack with MBIM and QMI support. Also, Qt6 was updated to 6.8.3, a libslirp-based NIC driver de-privileges networking on Genode/Linux, and Goa is now on par with Sculpt OS 26.04. Last but not least, the release is accompanied by profoundly revised editions of the Foundations, Applications, and Platforms books. The current release contains the following changes and new features. - Revisions of the Foundations, Applications, and Platforms books - Completed migration from GitHub to Codeberg - Sculpt OS reshaped into re-usable building blocks - Touch-based window management - Device drivers - Fine-grained DMA-buffer accounting - Linux device-driver environment updated to kernel 6.18.19 - Improved drivers for Wifi, VESA, EFI boot fb, AHCI - Advanced LTE modem stack - New I2C HID driver - New Intel SOF audio driver - Qt6 updated to version 6.8.3 - De-privileged user-level networking on Linux - Goa SDK updated to Sculpt OS 26.04 Read the complete release documentation for version 26.05 here https://genode.org/documentation/release-notes/26.05 Best regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ https://de.linkedin.com/company/genodelabs Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Announcement: Sculpt OS version 26.04 released
by Norman Feske 19 May '26

19 May '26

Dear Sculpt-OS users, I'm wholly excited to share the release of Sculpt OS 26.04 today! https://genode.org/news/sculpt-os-release-26.04 This version is a break-through in several respects: First, it has been largely restructured to put _all_ components right at the fingertips of the user. Many aspects that were formerly hardwired and somewhat obscured have now became transparent and part of the user experience. Second, the configuration has become the system's data model, which is exposed to the user and can thereby be reviewed and edited on the fly. Once one gets the hang of it, working with the system becomes a unique user experience of control and playfulness. Third, the above mentioned data model as well as any state reported by components leverage Genode's human-inclined data (HID) format to great effect, fostering clarity over ceremony. Fourth, thanks to an early version of an on-target Goa SDK offered by cproc's depot, Genode components can now be developed, compiled, and tested directly on Sculpt OS without the need of a virtual machine. A distant dream has become reality. Additionally, the release comes with welcome technical and feature improvements such as the updated arsenal of drivers for modern PC hardware and an updated version of the Chromium-based Falkon browser. It goes without saying that the manual has been updated to reflect all the changes: https://genode.org/documentation/articles/sculpt-26-04 The new version is available at Sculpt's system-update dialog or as a ready-to-use system image at our download page: https://genode.org/download/sculpt Happy sculpting! Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

Async Handling of RPC Entrypoints
by Rumen Mitov 11 May '26

11 May '26

Hi, During FOSDEM, one of the discussions touched on the components' handling of incoming RPC calls. Currently this is done in a synchronous manner because (if I remember correctly) it was simply easier to implement it that way as opposed to handling it asynchronously. What would be some of the challenges in handling this asynchronously? It was mentioned that the RPC mechanism was tightly integrated with the whole codebase, so it would require a large refactor. I am curious to hear your thoughts on how supporting asynchronous RPC calls could impact the following: - preservation of determinism (in the context of formal verification) - would the capability model need to be reworked to support revoking in-flight RPC requests? If so how could a client component signal to the server that it should drop the request? I don't mean to argue for replacing the current model, I'm just interested learning a bit more about the design trade-offs :) Best, Rumen

4 4

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2026