users

users@lists.genode.org

2 participants
2348 discussions

Re: AI-generated code
by Ryan Davidovics 08 Jun '26

08 Jun '26

Norman, Understood. Thank you for your reply. I will take care to avoid pasting any AI generated content in the future. If I understand your answer correctly, then using AI to research and investigate is acceptable, but any proposed changes, bug reports, or fixes should solely consist of code and content I create, and which I assume all responsibility for? Thanks, Ryan Davidovics -------- Original Message -------- On Monday, 06/08/26 at 05:01 users-request(a)lists.genode.org wrote: Send users mailing list submissions to users(a)lists.genode.org To subscribe or unsubscribe via email, send a message with subject or body 'help' to users-request(a)lists.genode.org You can reach the person managing the list at users-owner(a)lists.genode.org When replying, please edit your Subject line so it is more specific than "Re: Contents of users digest..." Today's Topics: 1. MSM8226 Port part_block GPT Partition Parsing Error (Ryan Davidovics) 2. AI-generated code (was Re: MSM8226 Port part_block GPT Partition Parsing Error) (Norman Feske) ---------------------------------------------------------------------- Message: 1 Date: Mon, 08 Jun 2026 01:47:42 +0000 From: Ryan Davidovics <davidovicsryanp(a)protonmail.com> Subject: MSM8226 Port part_block GPT Partition Parsing Error To: "users(a)lists.genode.org" <users(a)lists.genode.org> Message-ID: <In2Lv_iy0CX68v2IED625TkHDmkg4Y9wg3LDs9Uxd-e9jdHz83zmO_EQx 1WzCLmUOALjtEA0CrQvwLfewHJrrcLbQ_bghhvAN7EsmLMB5-c=(a)protonmail.com> Content-Type: multipart/alternative; boundary="b1=_PHFoLFLjnJOmFBdCeBKKc0YQJv7ZBM03H1EDpxyU" Hello, My sincerest apologies if this question is malformed, misplaced, or mistaken in some way. I am inexperienced with Genode, but have been exploring it for a number of personal projects. The one I am currently working on is creating a minimal sculpt-like OS to replace the default Android 4.2 operating system on a rugged 4G Sonim XP5700 phone to serve as a platform for further Genode exploration and IoT projects. To test the viability of this, I have been using Claude Opus 4.7/4.8 to accelerate working through creating a port for the msm8226/msm8926 SoC and phone platform. It has been largely successful so far, but hit a snag when implementing the file system service. This was its report: ``` part_block has a real bug for this device's GPT: the parse loop (gpt.h:373) runs to a hardcoded MAX_PARTITIONS=128, but this Qualcomm GPT declares fewer entry slots, so the entry-array buffer (sized to the header's actual entries(), gpt.h:363) overruns once i passes the real count. (_calculate_used at gpt.h:342 already correctly bounds by entries() — only the parse loop doesn't.) The one-line fix is to bound the parse loop by min(entries(), MAX_PARTITIONS). ``` And its recommended fix, which successfully resolved the issue: ``` diff --git a/repos/os/src/server/part_block/gpt.h b/repos/os/src/server/part_block/gpt.h index dbe9128e01..3539024cfb 100644 --- a/repos/os/src/server/part_block/gpt.h +++ b/repos/os/src/server/part_block/gpt.h @@ -370,7 +370,17 @@ class Block::Gpt : public Block::Partition_table _gpt_total = (gpt.part_lba_end() - gpt.part_lba_start()) + 1; _gpt_used = _calculate_used(gpt, entries, gpt.entries()); - for (int i = 0; i < MAX_PARTITIONS; i++) { + /* + * Iterate only over the entries the header actually declares -- + * a GPT may advertise fewer slots than MAX_PARTITIONS (e.g. the + * Qualcomm MSM8226 eMMC declares < 128), and the entry-array + * buffer above is sized to gpt.entries(); walking to MAX_PARTITIONS + * unconditionally overruns it (Mmio Range_violation). This matches + * the bound already used by _calculate_used(). + */ + unsigned const num_entries = min(gpt.entries(), + (uint32_t)MAX_PARTITIONS); + for (unsigned i = 0; i < num_entries; i++) { Gpt_entry e(entries.range_at(i * gpt.entry_size())); ``` I am not sure of what the stance is on AI generated code or how well-documented pull requests need to be before creation, and I do not yet have the ability to test this change in a comprehensive way. I would love to contribute in any way I can, but am not yet certain of whether I have the tools or knowledge to do so correctly yet. I would greatly appreciate any feedback or advice, and thank you for your time and consideration regardless. This has been a remarkable project to learn about so far. Thanks, Ryan Davidovics

1 0

MSM8226 Port part_block GPT Partition Parsing Error
by Ryan Davidovics 08 Jun '26

08 Jun '26

Hello, My sincerest apologies if this question is malformed, misplaced, or mistaken in some way. I am inexperienced with Genode, but have been exploring it for a number of personal projects. The one I am currently working on is creating a minimal sculpt-like OS to replace the default Android 4.2 operating system on a rugged 4G Sonim XP5700 phone to serve as a platform for further Genode exploration and IoT projects. To test the viability of this, I have been using Claude Opus 4.7/4.8 to accelerate working through creating a port for the msm8226/msm8926 SoC and phone platform. It has been largely successful so far, but hit a snag when implementing the file system service. This was its report: ``` part_block has a real bug for this device's GPT: the parse loop (gpt.h:373) runs to a hardcoded MAX_PARTITIONS=128, but this Qualcomm GPT declares fewer entry slots, so the entry-array buffer (sized to the header's actual entries(), gpt.h:363) overruns once i passes the real count. (_calculate_used at gpt.h:342 already correctly bounds by entries() — only the parse loop doesn't.) The one-line fix is to bound the parse loop by min(entries(), MAX_PARTITIONS). ``` And its recommended fix, which successfully resolved the issue: ``` diff --git a/repos/os/src/server/part_block/gpt.h b/repos/os/src/server/part_block/gpt.h index dbe9128e01..3539024cfb 100644 --- a/repos/os/src/server/part_block/gpt.h +++ b/repos/os/src/server/part_block/gpt.h @@ -370,7 +370,17 @@ class Block::Gpt : public Block::Partition_table _gpt_total = (gpt.part_lba_end() - gpt.part_lba_start()) + 1; _gpt_used = _calculate_used(gpt, entries, gpt.entries()); - for (int i = 0; i < MAX_PARTITIONS; i++) { + /* + * Iterate only over the entries the header actually declares -- + * a GPT may advertise fewer slots than MAX_PARTITIONS (e.g. the + * Qualcomm MSM8226 eMMC declares < 128), and the entry-array + * buffer above is sized to gpt.entries(); walking to MAX_PARTITIONS + * unconditionally overruns it (Mmio Range_violation). This matches + * the bound already used by _calculate_used(). + */ + unsigned const num_entries = min(gpt.entries(), + (uint32_t)MAX_PARTITIONS); + for (unsigned i = 0; i < num_entries; i++) { Gpt_entry e(entries.range_at(i * gpt.entry_size())); ``` I am not sure of what the stance is on AI generated code or how well-documented pull requests need to be before creation, and I do not yet have the ability to test this change in a comprehensive way. I would love to contribute in any way I can, but am not yet certain of whether I have the tools or knowledge to do so correctly yet. I would greatly appreciate any feedback or advice, and thank you for your time and consideration regardless. This has been a remarkable project to learn about so far. Thanks, Ryan Davidovics

2 1

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

Sculpt 26.04 Release Candidates
by Christian Helmuth 24 Apr '26

24 Apr '26

Hello everybody, just now, I published the first alpha image of Sculpt 26.04 under the following URLs. It’s also available via the Sculpt “System → Update” dialog in entry `https://depot.genode.org/chelmuth` from a running Sculpt installation. https://depot.genode.org/chelmuth/image/sculpt-pc-2026-04-17.img.xz https://depot.genode.org/chelmuth/image/sculpt-pc-2026-04-17.zip Note, the image represents an alpha state and comes with shortcomings we're actively working on. For example, the selection of a preset currently deactivates networking, which must be enabled again to download missing depot archives. I will post here when updated candidates were published. Please report any discovered issues and ask questions on the mailing list or our Discourse forum. Happy sculpting! -- 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 2

Hack'n'Hike in 2026
by Stefan Kalkowski 16 Mar '26

16 Mar '26

Dear Genode community, the registration deadline for our annual Hack'n'Hike event is approaching! During the 24th - 27th of April we'll be in a cozy accommodation in Saxony Switzerland to enjoy outdoor activities and collaborative hacking. It is a small gathering of around 10 to 20 developers and enthusiasts of Genode. The informal character of the Hack'n'Hike presents a great opportunity for newcomers to get in touch with the community. The event is sponsored by Genode Labs. There is no registration fee. For further information please have a look at the corresponding topic either at our issue tracker [1], or forum [2]. For joining the event, please register not later than Tuesday, March 24th by writing to: hacknhike(a)genode-labs.com Best regards Stefan [1] https://github.com/genodelabs/genode/issues/5791 [2] https://genode.discourse.group/t/hacknhike-2026/254/3

1 0

How to execute Tinycore in VM via Sculpt (25.10) - Seoul?
by Parfait Tokponnon 08 Mar '26

08 Mar '26

Parfait Tokponnon <parfait.tkn(a)gmail.com> jeu. 19 févr. 12:20 (il y a 2 jours) À users Hello, I want to install and use TinyCore - Seoul via Sculpt, but regardless of the configuration I select, the “Add component” button never appears to allow me to start the virtual machine. I followed tutorials [0], [1] -> [4]. However, these guides now seem obsolete: several of the settings mentioned no longer correspond to the current state of the system, while new configuration fields have appeared. Given my limited knowledge, I am not sure what values to assign to them. Could you please advise me on the appropriate procedure for the current version of Genode/Sculpt (25.10) so that I can start TinyCore correctly? In addition, I would like to run TinyCore as a virtual machine on Genode/NOVA for everyday use. In Alex-Ab's current repository, there are about thirty variants available. Could you recommend a TinyCore variant that is likely to be long-lasting and can support everyday tasks (browser, sound, image, network, etc.)? Thank you in advance for your help, and have a great day. [0] : https://www.genodians.org/alex-ab/2019-03-06-disposal-browser-vm [1] : https://lists.genode.org/pipermail/users/2019-March/006633.html [2] : https://genodians.org/alex-ab/2023-05-09-seoul-23-04 [3] : https://genodians.org/topics-vbox6 [4] : https://genodians.org/jschlatow/2022-10-27-fresh-vm-on-sculpt -- Parfait T.

2 2

Announcement: Genode OS Framework version 26.02 released
by Norman Feske 26 Feb '26

26 Feb '26

Hello everyone, it's my pleasure to announce that Genode 26.02 has just been released today. https://genode.org/news/genode-os-framework-release-26.02 This release is special to me personally as it switches the framework to our custom configuration format originally sketched more than two years ago, then proposed in December 2024, intensely evaluated over the course of the past 18 months, and eventually finalized during the current release cycle. This transition has been no small feat, and I'm more than happy that we have arrived at our final destination without any unforeseeable disruption. Thanks to everyone who participated! Speaking of transitions, our move from GitHub to Codeberg has proceeded according to the plan laid out on our road map. As detailed by the release documentation linked below, all repositories except for the main repository are now officially hosted at https://codeberg.org/genodelabs/ and the main repository will follow soon. On the technical side, the release features the update of all DDE-Linux-based protocol stacks to kernel version 6.18, which is the foundational work for updating the all the device drivers in May. It also comes with usability improvements of the Goa SDK, the port of Git, revised TCP/IP error handling, and a variety of API-safety improvements. The most prominent topics at a glance: - Human-inclined data (HID) format by default - First half of the migration from GitHub to Codeberg - Linux device-driver environment using kernel version 6.18 - Event-filter support for global key combinations - Ports of Git and FIO benchmark - Goa SDK usability enhancements Please find those topics covered in detail by our release documentation: https://genode.org/documentation/release-notes/26.02 Best regards 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

1 0

How To Add Address Sanitization
by Rumen Mitov 24 Feb '26

24 Feb '26

Hi, In my project I am encountering a segfault when trying to allocate with `Genode::Heap` (GDB output is from base-linux): ``` Thread 19 "ld.lib.so" received signal SIGSEGV, Segmentation fault. [Switching to LWP 13744] 0x0000000050019fc8 in Genode::Allocator_avl_base::Block::find_best_fit (this=0x7ffff43efd78, size=8128, align=3, range=...) at /phantomuserland/genode/repos/base/src/lib/base/allocator_avl.cc:28 28 { ``` According to the backtrace (see backtrace.log, if interested), I suspect the `find_best_fit` method is being called in an infinite loop. I was not able to recreate this SEGFAULT in a fresh Genode project, so the issue must be from my project's code. What's interesting is that the SEGFAULT occurs during a `push %rbx` instruction, so perhaps this is due to stack corruption? I tried adding `-fsanitize=address` to my compile flags, however during `goa build` I get errors stating that the linker cannot find any references to asan symbols (see build.log). I checked, and I have libasan8 installed. Is address sanitization supported in Genode projects? If so, how can I compile my project with it? Best, Rumen

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users