# Developer's Corner **URL:** https://genode.discourse.group/c/developers-corner/6.md [Latest](https://genode.discourse.group/latest.md) · [Categories](https://genode.discourse.group/categories.md) · [Tags](https://genode.discourse.group/tags.md) --- ## [About the Developer's Corner category](https://genode.discourse.group/t/about-the-developers-corner-category/58)
**Author:** [@ttcoder](https://genode.discourse.group/u/ttcoder)\ **Replies:** 0\ **Last updated:** [September 2, 2024, 1:56pm UTC](https://genode.discourse.group/t/about-the-developers-corner-category/58 "2024-09-02T13:56:25Z")
Programming questions in C++ or other Genode-supported languages, regarding Genode’s code or third-party apps. --- ## [Goa Build Error - "depot\_dir" & "allowed\_paths"](https://genode.discourse.group/t/goa-build-error-depot-dir-allowed-paths/368)
**Author:** [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\ **Replies:** 4\ **Last updated:** [October 14, 2026, 6:36pm UTC](https://genode.discourse.group/t/goa-build-error-depot-dir-allowed-paths/368 "2026-10-14T18:36:00Z")
Sorry to be a pain. When trying to “goa build” a library cloned from Codeberg, I get the following error: \[lvgl\_support\] Error: In /home/mainuser/Devel/genode\_jjk/goa-projects/goarc: Path variable 'depot\_dir' set to … --- ## [State Of LVGL Support](https://genode.discourse.group/t/state-of-lvgl-support/365)
**Author:** [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\ **Replies:** 7\ **Last updated:** [October 12, 2026, 5:39am UTC](https://genode.discourse.group/t/state-of-lvgl-support/365 "2026-10-12T05:39:34Z")
Inspired by @jschlatow’s “System Info” component, I am playing a little bit with LVGL. Following the System Info example, I was able to build a minimal component. Very nice! Before continuing too much further, I have … --- ## [Goa Build For PinePhone](https://genode.discourse.group/t/goa-build-for-pinephone/366)
**Author:** [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\ **Replies:** 2\ **Last updated:** [October 9, 2026, 1:44pm UTC](https://genode.discourse.group/t/goa-build-for-pinephone/366 "2026-10-09T13:44:45Z")
This may be a stupid question, but I haven’t found an obvious answer in the Books or Goa Help. I have my minimal LVGL app working on the Linux target and using goa-testbed on the PC. (Very smooth experience!) But now … --- ## [USB Controller Initialization Error](https://genode.discourse.group/t/usb-controller-initialization-error/364)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 7\ **Last updated:** [October 8, 2026, 1:17pm UTC](https://genode.discourse.group/t/usb-controller-initialization-error/364 "2026-10-08T13:17:47Z")
I was testing the usb\_hid\_raw application from the Genode 26.05 release on an HP ProDesk 600 G1 hardware platform. The following error occurs during USB controller initialization: \[init -\> usb -\> usb\] Error: INVALID RPC… --- ## [Input overflow - resetting queue](https://genode.discourse.group/t/input-overflow-resetting-queue/361)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 2\ **Last updated:** [September 22, 2026, 6:11am UTC](https://genode.discourse.group/t/input-overflow-resetting-queue/361 "2026-09-22T06:11:16Z")
Hi I am currently working on migrating a browser application from Qt5 to Qt6. I am using a hw kernel on an Intel Core i3-12100 processor. Recently, I encountered an issue where the application freezes completely after … --- ## [Sel4 unikernel vs multi-kernel vs SMP on genode/sculpt](https://genode.discourse.group/t/sel4-unikernel-vs-multi-kernel-vs-smp-on-genode-sculpt/319)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 8\ **Last updated:** [June 29, 2026, 2:41pm UTC](https://genode.discourse.group/t/sel4-unikernel-vs-multi-kernel-vs-smp-on-genode-sculpt/319 "2026-06-29T14:41:55Z")
Hi, I have been spending some time to investigate why sculpt-os+sel4 was rather slow on ARM IMX8MP, and aside from finding some stability issues that I am still working on, I also found the default config for seL4 is ac… --- ## [genode-NOVAe on ARM, status and roadmap inqury](https://genode.discourse.group/t/genode-novae-on-arm-status-and-roadmap-inqury/337)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 3\ **Last updated:** [June 22, 2026, 6:43pm UTC](https://genode.discourse.group/t/genode-novae-on-arm-status-and-roadmap-inqury/337 "2026-06-22T18:43:12Z")
Hi, at the moment, I am already able to run sculpt+base-hw and sculpt+sel4 on armv8 (armstone, and toradex verdin imx8mp), and the imx95 port is moving forward. I would also like to try pushing for NOVAe (and later Fias… --- ## [Contributing to Genode, questions before upstreaming](https://genode.discourse.group/t/contributing-to-genode-questions-before-upstreaming/320)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 14\ **Last updated:** [June 18, 2026, 9:26am UTC](https://genode.discourse.group/t/contributing-to-genode-questions-before-upstreaming/320 "2026-06-18T09:26:51Z")
Hi, I am reviewing the following document: One of the key-points is: create a new topic branch based on the genodelabs/master branch. For example, git checkout -b issue76 2 questions: should we target master… --- ## [Upstreaming issues](https://genode.discourse.group/t/upstreaming-issues/336)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 0\ **Last updated:** [June 18, 2026, 8:58am UTC](https://genode.discourse.group/t/upstreaming-issues/336 "2026-06-18T08:58:02Z")
Hi there, I started to upstream my changes taking on the most simple ones involving only few lines (to test the water). #5897 - init/sandbox asks each child's PD for the same numbers twice \[PR attached\] - genodelabs/g… --- ## [Sculpt on sel4, ARM initial boot unpack copy is painfuly slow :/](https://genode.discourse.group/t/sculpt-on-sel4-arm-initial-boot-unpack-copy-is-painfuly-slow/317)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 7\ **Last updated:** [May 20, 2026, 12:12pm UTC](https://genode.discourse.group/t/sculpt-on-sel4-arm-initial-boot-unpack-copy-is-painfuly-slow/317 "2026-05-20T12:12:40Z")
Hi, (sorry in advance for the long post, this is a rather technical one :wink:) I hit a fairly painful boot delay on seL4 when the user image is big (Sculpt-class, hundreds of megabytes). I see this on arm platforms (a… --- ## [Out of tree build with goa](https://genode.discourse.group/t/out-of-tree-build-with-goa/316)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 4\ **Last updated:** [May 19, 2026, 12:08pm UTC](https://genode.discourse.group/t/out-of-tree-build-with-goa/316 "2026-05-19T12:08:02Z")
Hi, I am running goa from a higher-level build harness that drives many build flavours of the same component (different boards, different kernels, different patch series applied to the cached Genode source). Each flavou… --- ## [What platforms and kernel was sculptos tested on (ARM)?](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315)
**Author:** [@fdelizy](https://genode.discourse.group/u/fdelizy)\ **Replies:** 3\ **Last updated:** [May 18, 2026, 12:57pm UTC](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315 "2026-05-18T12:57:20Z")
Hi, as I am working mostly on hw or sel4 for arm, I am wondering what platform/kernel sculptOS have been running and verified to work? I found this: SculptOS kernel selection? - #5 by alex-ab talking mostly about the x… --- ## [AHCI Driver Partition Setup in QEMU/Hardware](https://genode.discourse.group/t/ahci-driver-partition-setup-in-qemu-hardware/97)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 14\ **Last updated:** [April 13, 2026, 12:00pm UTC](https://genode.discourse.group/t/ahci-driver-partition-setup-in-qemu-hardware/97 "2026-04-13T12:00:04Z")
I have enabled dynamic settings, but one of the issues I encountered is the storage of information for use in the next system boot. To address this, after reviewing existing sample applications, I arrived at the followin… --- ## [Proposed HRD File Format](https://genode.discourse.group/t/proposed-hrd-file-format/131)
**Author:** [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\ **Replies:** 29\ **Last updated:** [February 21, 2026, 3:20pm UTC](https://genode.discourse.group/t/proposed-hrd-file-format/131 "2026-02-21T15:20:11Z")
This post is in response to the proposed new HRD file format, as introduced in Moving on from XML? A teaser for a possible alternative . (Speaking of which, should we have a new category for Genodians articles?) This i… --- ## [Interest In Ada/SPARK?](https://genode.discourse.group/t/interest-in-ada-spark/132)
**Author:** [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\ **Replies:** 1\ **Last updated:** [September 28, 2025, 9:58pm UTC](https://genode.discourse.group/t/interest-in-ada-spark/132 "2025-09-28T21:58:28Z")
With all the talk about exotic new languages, I just wanted to see if there is any interest out there for an “old”, “boring” language like Ada/SPARK on Genode. (SPARK is an Ada dialect focused on formal verification.) A… --- ## [Real-time tasks slow down under CPU load](https://genode.discourse.group/t/real-time-tasks-slow-down-under-cpu-load/214)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 3\ **Last updated:** [September 17, 2025, 12:17pm UTC](https://genode.discourse.group/t/real-time-tasks-slow-down-under-cpu-load/214 "2025-09-17T12:17:15Z")
In a project I wrote, I’m having trouble with real-time tasks like audio. When the CPU gets busy, audio performance noticeably slows down. Is there anything beyond just setting thread priorities that should be considere… --- ## [Keyboard Event Ownership](https://genode.discourse.group/t/keyboard-event-ownership/210)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 2\ **Last updated:** [September 16, 2025, 5:17am UTC](https://genode.discourse.group/t/keyboard-event-ownership/210 "2025-09-16T05:17:39Z")
In the Genode framework (outside of Sculpt OS), is there a way for one module to transfer ownership of receiving keyboard events to another module? Specifically, can a module that normally handles keyboard input hand ove… --- ## [QtWebEngine socketpair not implemented](https://genode.discourse.group/t/qtwebengine-socketpair-not-implemented/203)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 2\ **Last updated:** [July 26, 2025, 7:19am UTC](https://genode.discourse.group/t/qtwebengine-socketpair-not-implemented/203 "2025-07-26T07:19:15Z")
About two years ago, I developed a kiosk application using QtWebEngine. At the time, I encountered the “socketpair not implemented yet” issue, which I worked around by launching the browser with the --single-process flag… --- ## [Routing of Services](https://genode.discourse.group/t/routing-of-services/194)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 1\ **Last updated:** [July 3, 2025, 1:18pm UTC](https://genode.discourse.group/t/routing-of-services/194 "2025-07-03T13:18:46Z")
I have developed several applications intended to run on a simple system. All these applications are managed as part of a launchpad so that the user can select which one to run. However, I encountered an issue with routi… --- ## [Capability Management](https://genode.discourse.group/t/capability-management/176)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 6\ **Last updated:** [May 27, 2025, 5:44am UTC](https://genode.discourse.group/t/capability-management/176 "2025-05-27T05:44:53Z")
I’ve connected two components using the reporter mechanism and attach\_rom\_dataspace to transmit signals along with a small amount of associated data. After running for some time, the system reports the following error: r… --- ## [Transparency Support in Window Management](https://genode.discourse.group/t/transparency-support-in-window-management/168)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 8\ **Last updated:** [April 28, 2025, 5:51am UTC](https://genode.discourse.group/t/transparency-support-in-window-management/168 "2025-04-28T05:51:59Z")
Is there any configuration available to enable transparency in overlay sections that utilize decorators? For instance, can the Wi-Fi section in the tiled\_wm example be made transparent so that the background elements re… --- ## [Receiving Signals in Qt5](https://genode.discourse.group/t/receiving-signals-in-qt5/158)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 2\ **Last updated:** [April 10, 2025, 6:23am UTC](https://genode.discourse.group/t/receiving-signals-in-qt5/158 "2025-04-10T06:23:32Z")
I’ve been reviewing some Qt5 modules and ran into an issue that doesn’t seem to have an obvious solution. Inside a constructor, I create and run a Qt5 object. However, since exec() is called within this object, the const… --- ## [New Window Stuck Behind Main (Qt5)](https://genode.discourse.group/t/new-window-stuck-behind-main-qt5/150)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 4\ **Last updated:** [February 9, 2025, 12:45pm UTC](https://genode.discourse.group/t/new-window-stuck-behind-main-qt5/150 "2025-02-09T12:45:03Z")
I tested the tiled\_wm example and encountered an issue. When I try to open a new window in the text editor, which is written with Qt5, the new window (such as a file dialog for opening or saving a text file) appears behi… --- ## [Gui changes in recent Genode?](https://genode.discourse.group/t/gui-changes-in-recent-genode/141)
**Author:** [@micken](https://genode.discourse.group/u/micken)\ **Replies:** 11\ **Last updated:** [January 29, 2025, 7:16pm UTC](https://genode.discourse.group/t/gui-changes-in-recent-genode/141 "2025-01-29T19:16:33Z")
Hello, When building my demo scenario with git genode,everything Gui related fails. For example error:no match for call to ‘(Framebuffer::Session\_client) ()’ 515 | env.rm(), gui.framebuffer()-\>datasp… --- ## [Trying to compile and run \`core\` with a custom compiler](https://genode.discourse.group/t/trying-to-compile-and-run-core-with-a-custom-compiler/136)
**Author:** [@smhm](https://genode.discourse.group/u/smhm)\ **Replies:** 14\ **Last updated:** [January 28, 2025, 11:56am UTC](https://genode.discourse.group/t/trying-to-compile-and-run-core-with-a-custom-compiler/136 "2025-01-28T11:56:28Z")
Hi everyone, I am currently trying to add a fuzzer to Genode in order to fuzz different sessions. Fuzzers come in many different flavours, but it is generally most efficient to instrument the existing source code. Furth… --- ## [\[withdrawn\]Proposed eXtensible Tokenized Format (tokenized XML)](https://genode.discourse.group/t/withdrawn-proposed-extensible-tokenized-format-tokenized-xml/133)
**Author:** [@Samurai\_Crow](https://genode.discourse.group/u/Samurai_Crow)\ **Replies:** 4\ **Last updated:** [December 30, 2024, 5:51pm UTC](https://genode.discourse.group/t/withdrawn-proposed-extensible-tokenized-format-tokenized-xml/133 "2024-12-30T17:51:28Z")
Continuing the discussion from Proposed HRD File Format: As an alternative to XML and HRF, I’d like to propose a tokenized alternative to either of them, tentatively called XTF. Most XML usage is stored in a Zip file b… --- ## [Shared Memory Design Questions](https://genode.discourse.group/t/shared-memory-design-questions/126)
**Author:** [@spenc](https://genode.discourse.group/u/spenc)\ **Replies:** 1\ **Last updated:** [December 19, 2024, 1:44pm UTC](https://genode.discourse.group/t/shared-memory-design-questions/126 "2024-12-19T13:44:13Z")
I was rereading Genode Foundations, and thinking about a project that will likely go nowhere involving record / replay & time travel debugging, and had a few questions about the design of shared memory For shared memo… --- ## [Goa "Tasks" In VSCodium](https://genode.discourse.group/t/goa-tasks-in-vscodium/125)
**Author:** [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\ **Replies:** 0\ **Last updated:** [December 12, 2024, 4:09am UTC](https://genode.discourse.group/t/goa-tasks-in-vscodium/125 "2024-12-12T04:09:12Z")
This is probably useless information for most people here, but it was a simple and mildly interesting experiment, so I thought I would “share with the class”. I’ve been investigating IDEs for Genode (and other) projects… --- ## [Graphical Log Capturing](https://genode.discourse.group/t/graphical-log-capturing/89)
**Author:** [@hamed](https://genode.discourse.group/u/hamed)\ **Replies:** 7\ **Last updated:** [October 1, 2024, 11:40am UTC](https://genode.discourse.group/t/graphical-log-capturing/89 "2024-10-01T11:40:16Z")
I am attempting to capture program logs in a manner similar to Sculpt OS. From my understanding, the terminal\_log service is designed for this purpose. However, I’m encountering issues where neither the testing of this s… [Next page](https://genode.discourse.group/c/developers-corner/6.md?page=1)