users

users@lists.genode.org

3 participants
2323 discussions

Sculpt 25.10 Release Candidate
by Sebastian Sumpf 27 Oct '25

27 Oct '25

Hello, the first image for the PinePhone is available: https://depot.genode.org/ssumpf/image/sculpt-pinephone-2025-10-10.tar.xz https://depot.genode.org/ssumpf/image/sculpt-pinephone-2025-10-10.zip SD-card installation works as follows: ! sudo dd if=sculpt-pinephone-2025-10-10.img of=/dev/mmcblkX bs=1M conv=fsync In case you want to update/test from an already running Sculpt on the PinePhone: 1. Go to the "Software" tab 2. Choose "Update" 3. Touch the link "http://depot.genode.org ..." 4. Choose https://depot.genode.org/ssumpf 5. Hit "Check for Updates" 6. "2025-10-10" should appear below -> Download -> Install 7. Reboot Note that not everything is working at the moment. For the current status please refer to the "Sculpt OS 25.10 - PinePhone" [1] issue. [1] https://github.com/genodelabs/genode/issues/5714 Cheers, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 2

Is Block-Persistence Possible on non-Linux base?
by Rumen Mitov 26 Oct '25

26 Oct '25

Hi, Is there a way to achieve functionality similar to lx_fs on non-base-linux? My best guess is something like: ```xml <start name="ahci"> <resource name="RAM" quantum="1M" /> <provides><service name="Block" /></provides> <config atapi="no"> <report ports="yes"/> <policy label="isomem -> " device="0" writeable="yes" /> <policy label="vfs -> " device="1" writeable="yes" /> </config> <route> <service name="Report"> <child name="ahci_report_rom"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="vfs" ram="200M" caps="200"> <provides><service name="File_system"/></provides> <config> <vfs> <dir name="dev"> <block name="block" block_buffer_count="128"/> </dir> <dir name="snapper"> <rump fs="ext2fs" ram="64M" writeable="yes"/> </dir> </vfs> <policy label_prefix="snapper" root="/snapper" writeable="yes"/> </config> <route> <service name="Block"> <child name="ahci"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> ``` However, with this ACHI complains that device=1 is already taken. If I remove the following from the vfs_component: ```xml <dir name="dev"> <block name="block" block_buffer_count="128"/> </dir> ``` Then the error goes away, but I am unable to read and write to the file-system. From what I have read it's not possible to have persistent storage without lx_fs, necessitating the use of base-linux. Please let me know if I missed something in my research. Best, Rumen

1 0

Killing a Thread in Base-Linux
by Rumen Mitov 22 Sep '25

22 Sep '25

Hi, I want to kill a thread in my Genode program and on non-Linux base I currently do this: ```c++ main_obj->_env.cpu().kill_thread(Thread::myself()->cap()); ``` However, this does not work when I use Linux as a base. From what I understand this is due to capabilities being emulated on Linux. Is there a function similar to the one above that will work for Linux? Best, Rumen

3 3

Announcement: Genode OS Framework version 25.08 released
by Norman Feske 28 Aug '25

28 Aug '25

Hello everyone, I'm pleased to share the release announcement of Genode 25.08 with you: https://genode.org/news/genode-os-framework-release-25.08 Adhering to this year's leitmotif "rigidity, clarity, performance", the release is primarily focused on optimization work, code rigidity, and scalability improvements. A new kernel scheduler that was especially designed for the user experience of Sculpt OS stands out as a project that has been in the works over a time span of 1.5 years, incorporating scheduling theory, simulating the effects of experimental ideas, attaining a low-complexity implementation in the kernel, and addressing system-integration concerns. Two other lines of work pursued in similar a long-term fashion are the stepwise unlocking of more and more dynamic system scenarios on the seL4 kernel, and the holistic optimization of the framework's block-storage stack. Furthermore, we have updated the arsenal of all Linux-based PC drivers to Linux version 6.12, letting our users combine microkernel architecture with the excellent hardware support of the up-to-date Linux kernel. As a personal highlight, I'm overly happy that my ambition to practically evaluate the move away from XML goes according to plan. The new version provides the hybrid support for both XML and the proposed "human-readable data" syntax. So we can now switch back-and-forth between both formats, gather practical experience, while acquiring a taste for the potential alternative. The highlights of the Genode 25.08 at a glimpse: - New kernel scheduler for fairness and low latency - Holistic block-storage stack optimizations - Linux-based PC and Zynq drivers updated to kernel version 6.12 - Syntax-agnostic API for configuration and reporting - Human-readable data as XML alternative - VirtualBox6 EFI support and multi-monitor improvements - Preliminary support for POSIX AIO - seL4 scalability improvements and update to kernel version 13.0 Find theses and more topics detailed in the release documentation: https://genode.org/documentation/release-notes/25.08 Best regards -- 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

Github Links Point to 23.05 in the Genode Foundations 25.05 Book (HTML version)
by Rumen Mitov 08 Aug '25

08 Aug '25

Hi, I noticed that the GitHub links in the Genode Foundations Book (version 25.05, HTML) are pointing to the 23.05 branch instead of 25.05. This caused some confusion on my end when cross-referencing the documentation with the code. Just wanted to bring this to the community's attention in case others encounter the same issue. Best, Rumen

2 1

Tool For Generating Hash For Archive?
by Rumen Mitov 05 Aug '25

05 Aug '25

Hi, A quick question: is there a specific tool I am supposed to use to generate the hash of my archive? Also, do I hash the content.mk file or the TAR of the src/ directory of my project (or something else entirely)? I tried the tools from the Genode Foundations book: <genode-dir>/tool/depot/build, <genode-dir>/tool/depot/create, and <genode-dir>/tool/depot/extract. However, all of them require a hash file to be present. Best, Rumen

1 1

There are many kinds
by qudca6ou＠nqmo.com 01 Aug '25

01 Aug '25

The Volvo EC210 VECU is a vital of its hydraulic system, facilitating precise control over all operations. Successfully utilize this powerful machine, operators need to understand how the VECU interacts with other https://www.supercasualarticlesandblogs.com/escorts/assortlist~com~2022.10.…

1 0

Region Map's Permission Difficulties
by Rumen Mitov 25 Jul '25

25 Jul '25

Hi, I have been having some trouble with the Region Map interface not setting the correct permissions in my specified memory region. I am trying to replicate a similar functionality to rm_nested: ```cpp const addr_t OBJECT_SPACE_START = 0x80000000; const addr_t OBJECT_SPACE_SIZE = 0x40000000; Genode::Env &_env; Genode::Rm_connection _rm{_env}; // To be attached to env's rm Genode::Region_map_client _obj_space{_rm.create(OBJECT_SPACE_SIZE)}; ... Region_map::Attr attributes{.size = OBJECT_SPACE_SIZE, .offset = 0, .use_at = true, .at = OBJECT_SPACE_START, .executable = true, .writeable = true}; addr_t ptr_obj = 0; env.rm() .attach(_obj_space.dataspace(), attributes) .with_result( [&ptr_obj](Genode::Env::Local_rm::Attachment &attachment) { ptr_obj = (Genode::addr_t)attachment.ptr; attachment.deallocate = false; }, [](auto) { error("couldn't attach dataspace!"); throw; }); ``` I expect this code snippet to make the region at 0x80000000 to be rwx, however when I run my program with GDB I see that the permissions are ---p: (gdb) info proc mappings Mapped address spaces: Start Addr End Addr Size Offset Perms objfile 0x80000000 0xc0000000 0x40000000 0x0 ---p I have also tried adding a dataspace capability to _obj_space ( before attaching it to env.rm() ) but that had no effect on the permissions: ```cpp _obj_space.attach(env.ram().alloc(OBJECT_SPACE_SIZE), attributes); ``` Any help / suggestions would be greatly appreciated as I have been stuck on this for quite a while! Best, Rumen P.S. The permissions are set correctly when I do: ```cpp addr_t ptr_obj = 0; env.rm() .attach(env.ram().alloc(OBJECT_SPACE_SIZE), attributes) .with_result( [&ptr_obj](Genode::Env::Local_rm::Attachment &attachment) { ptr_obj = (Genode::addr_t)attachment.ptr; attachment.deallocate = false; }, [](auto) { error("couldn't attach dataspace!"); throw; }); ``` The problem with this is that later on in my program I get an error as I need the _obj_space region map client.

2 3

GUI Incompatible with Genode 25.05?
by Rumen Mitov 17 Jul '25

17 Jul '25

Hi, I am trying to port an old Genode project (uses Genode 24.02) to Genode 25.05. The problem is that I get build errors due to the fact that genodelabs/api/base/2025-04-09 uses a newer interface for some functions which have not been updated for genodelabs/api/gui_session/2024-10-29 (see the log file for more details). I checked https://depot.genode.org/ and the latest gui_session depot version is 2024-10-29. What is the timeframe of updating the gui_session to Genode 25.05? I would like to know if it is worth the effort of porting the project to a less recent version of Genode (e.g. 24.10) or if I should just wait for the update. Best, Rumen

2 1

Using the Lwext4 Project with Goa
by Rumen Mitov 16 Jul '25

16 Jul '25

Hello, I have managed to integrate the lwext4 Genode port (https://codeberg.org/jws/genode-wundertuete/src/branch/sculpt-25.04-2025-04…) in the past with the target.mk approach. However, recently I have changed my build system to Goa with CMake. From what I understand the only thing I need to add to my build configuration is the path to `<lwext4-repo>/recipes/src/vfs_lwext4` (for reference: https://codeberg.org/jws/genode-wundertuete/src/branch/sculpt-25.04-2025-04…). Unfortunately, when I try adding the aforementioned path in my `<project>/pkg/<project>/archives` file, I get the following error: "Error: invalid depot-archive path '_/_/_/wundertuete/recipes/src/vfs_lwext4'". Could someone kindly let me if I am missing or misunderstood something? I do not need the lwext4 library itself, only the integration of it into the VFS. Best, Rumen

2 5

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users