users

users@lists.genode.org

4 participants
2327 discussions

Nitpicker support for sel4
by Rumen Mitov 05 Nov '25

05 Nov '25

Hi, I wanted to ask if the nitpicker component is compatible with sel4? When I tried to run the run/demo script I just got a black screen. Does it require any specific configuration that I might have missed while reading the docs? For reference I ran the following command: ```sh make -C build/x86_64 KERNEL=sel4 BOARD=pc run/demo ``` Best, Rumen

2 1

[FOSDEM'26] Call for Participation: Microkernel and Component-Based OS Devroom
by Sebastian Sumpf 04 Nov '25

04 Nov '25

Hello, we are looking for cool talks and demos: We are happy to announce the CfP for the "Microkernel and Component-Based OS" devroom at the upcoming FOSDEM 2026. Developers and users of various free and open-source microkernel-based and component-based operating systems will meet again at FOSDEM during the weekend of January 31st and February 1st 2026 and will share a developer room. The Microkernel and Component-Based OS devroom is currently looking for your participation in the form of proposals for talks, demos and other related activities. Possible topics for the devroom include, but are not limited to: * Introduction of a specific OS or framework * Design of subsystems and the general architecture of an OS * Languages, tools and toolchains used * Enabling support for hardware architectures, devices and programming languages * Development processes, debugging * Maintenance, testing and release engineering * Safety, security and robustness * Trends and challenges * Research and open questions * Community and governance * Use cases, experiences and status updates * Best practices and lessons learned * Live demos Important Dates The deadline for submitting proposals is December 1, 2025 (23:55 CET). Please use the FOSDEM website at https://fosdem.org/submit, select the track "Microkernel and Component-Based OS" and include at least the following information: * Title of your proposal * Short abstract (one or two paragraphs) * Duration (20 - 30 minutes, including demos and Q&A) * Your full name * Your short bio The devroom schedule (with accepted talks) will be announced on the devroom website at https://fosdem.org/2026/schedule/track/microkernel by December 15, 2025. The schedule will also be posted to the devroom mailing list and the speakers will be notified via email. Like previous years, the devroom will take place as an in-person event at the ULB Campus Solbosch in Brussels, Belgium during the second half of February 1, 2026 (Sunday). Due to the high number of submissions that FOSDEM received again this year, our devroom has only been allocated half a day. Therefore, the final decision on the duration of the talks will be made by the devroom organizers based on the number of accepted proposals. Given these restrictions, eight to nine half hour slots with a speaking time of 20 to 25 minutes and 5 to 10 minutes of Q&A form the upper limit. Requirements The communication language of the devroom is English. All content must relate to free and open-source software. By participating in the event, you agree to the publication of your talk recordings, slides and other content provided under the same CC-BY license as all other FOSDEM content. All participants are expected to adhere to the Code of Conduct: https://fosdem.org/2026/practical/conduct/ Contact For the 2026 edition, the organizers of the devroom are * Sebastian Sumpf (sebastian.sumpf [at] genode-labs.com) * Josef Söntgen (josef.soentgen [at] genode-labs.com) For any comments, questions and suggestions, please do not hesitate to contact us directly or via microkernel-devroom-manager at fosdem.org. Announcements and inquiries are additionally available through the devroom mailing list https://lists.fosdem.org/listinfo/microkernel-devroom About the Devroom Since the first Microkernel OS Devroom at FOSDEM 2012, this devroom has been a part of each subsequent FOSDEM (with slight variations of the name). The focus gradually widened to include component-based and other operating systems. It has now become somewhat of a tradition for the open-source operating systems community, a kind of "extended family meeting" and it is one of the very few places where microkernel and operating-system enthusiasts meet regularly. To date, over two dozen projects have participated in one way or another. Many of the projects face similar challenges but come up with partially different solutions. Therefore, the goal of the devroom is to bring the various projects together, let them exchange ideas, cross-pollinate and socialize. As in the past, the devroom will offer the stage both to established community members and to newcomers. Our goal is to select talks in an inclusive manner and to create a balanced and unbiased schedule, while keeping the quality of the devroom as high as in previous years. About FOSDEM FOSDEM is a two-day conference organized by volunteers to promote the widespread use of free and open-source software. FOSDEM is widely recognized as one of the largest and best such events worldwide. FOSDEM covers a wide spectrum of free and open-source software and hardware projects and offers a platform for people to collaborate. To this end, FOSDEM has set up developer rooms (devrooms) where teams can meet and showcase their projects. Devrooms are a place for teams to discuss, hack and publicly present new ideas, latest results, lightning talks, news and proposals. Besides developer rooms, FOSDEM also offers main tracks, lightning talks, certification exams and project stands. In recent years, FOSDEM has been hosting more than 5000 developers annually at the ULB Solbosch Campus in Brussels, Belgium. The participation in FOSDEM is totally free and requires no registration, although the organizers gratefully accept donations and sponsorship. Devroom Dinner Over the years, it has become a tradition that devroom speakers and enthusiasts meet for dinner somewhere in Brussels after the event to continue discussions, socialize and meet old and new friends. We plan to follow that tradition in some form as well in 2026 and will inform you about the exact arrangements later. Hope to see all of you in Brussels! -- 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

1 0

No audio on T480s.
by hedj＠protonmail.com 03 Nov '25

03 Nov '25

Dear Genodefolk, Having long wanted to run genode on real hardware, I acquired a Lenovo Thinkpad T480s. Everything seems to work well except that no sound is produced through either speakers or headphones. In particular, I have tried both falkon and chocolatedoom after adding the mixer and audio options. The Fn keys don't seem to alter the situation. reports/log shows [runtime -> audio] azalia0 [8087:9d71] [runtime -> audio] : [runtime -> audio] : azalia0: codecs: Realtek ALC257 ... [runtime -> audio] : audio0 at azalia0 etc No errors are reported that I can see. Any suggestions as to what I might to do to investigate further? Thanks, John

2 1

Announcement: Sculpt OS version 25.10 released
by Norman Feske 30 Oct '25

30 Oct '25

Hello everyone, I'm happy to announce today's release of Sculpt OS 25.10: https://genode.org/news/sculpt-os-release-25.10 You can find the new version offered by 'genodelabs' in the system-update dialog, or as ready-to-use system image for PCs, the PinePhone, and the MNT Reform laptop on the download page: https://genode.org/download/sculpt This time, the official release is accompanied by an experimental version that replaces XML by the user-friendlier alternative proposed roughly one year ago [1]. With the following guided tour, I'm inviting venturesome users to join the practical evaluation of the new way of sculpting: "Sculpting with less noise and more clarity" https://genodians.org/nfeske/2025-10-30-sculpt-human For feedback or discussion, please don't hesitate to drop by at our forum: https://genode.discourse.group/ Happy sculpting! Norman [1] https://genodians.org/nfeske/2024-12-20-moving-on-from-xml -- 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

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users