users March 2026

users@lists.genode.org

3 participants
3 discussions

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

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

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users March 2026