users

users@lists.genode.org

2 participants
2342 discussions

Re: Roadmap 2026
by J03 14 Jan '26

14 Jan '26

Hey, in 2025 we had a wonderful time at the Hack-and-Hike :)I learned a lot and in the end I had a laptop with a satisfying SculptOS setup and the feeling that it’s achievable to use Genode as a hypervisor for my every day use cases.The following weeks I enjoyed configuring a declarative setup for systems with Genode + NixOS:https://github.com/johannesloetzsch/nixos-genode-hybridIn the future, I would be happy to build native apps using Goa. For now (the transition), I’m happy about using declarative builds of VMs running the software I’m familiar with. The Ambition for 2026 to build bridges to other open-source projects and new demographies really resonates with me :)I plan to improve my existing setup and would like to provide reusable modules to allow future users a smoother path to a usable setup.I'm thankfull about the hours of amazing support I received from core-developers during the last year :) However to make the potential in Genode available to a much broader community than now, the simple availability of common open source software should increase. I would love to have an community maintained distribution of a setup similar to Qubes OS, but based on Genode… This is a dream for a larger time period, but I would be happy to exchange thoughts and do some prototyping in 2026… It's so nice, to have other Genode users at our hackerspace, inspiring each other. They plan to start a „user group“ with regular meetups in 2026 :) Which topic is most interesting to me?To use Genode on my devices without relevant security regressions, I require secure boot.For now my setup allows booting the kernel via TrustedGRUB / Lanzaboote. However till now, the sculpt-iso-image and the configurations (from GENODE*-partition) are not signed. I have ideas how this could be implemented, but I would prefer a clean solution, applicable to everyone interested.In the end I want protect to the integrity up to starting VMs (with a static MBR + boot partition). Cheers, Johannes

2 1

Re: Roadmap 2026
by Michael Müller 14 Jan '26

14 Jan '26

Hi all, For those who don’t know me yet: I am a PhD student working on Genode as foundation for researching novel concepts and architectural designs for data-center system software and gave a talk about Genode on FOSDEM three years ago. At the beginning of last year, I started porting the extension I made to Genode, namely NUMA support and dynamic resource allocation for components to Genode 25.02. As, Genode had diverged quite a lot since I started my modifications in 2022, I used the opportunity to completely redesign the handling of NUMA topology information and resource allocation. The reasoning behind this was, to make all my modifications available as an additional micro-kernel with its own specialized version of Genode’s “core” service. Thus, I hope, future upstream changes in Genode’s Core API can be more easily integrated into my fork of Genode. Furthermore, the redesign of my extensions allowed me to greatly improve the stability of the dynamic resource allocation for components while also improving its performance. This has also has been the year, where I finally implemented my plans for a NUMA-aware scalable hoard allocator that could replace Genode’s heap in scenarios with many parallel memory allocations as for example in database workloads, where not just scalability is needed but also the ability to allocate memory from specific NUMA regions in advance to improve NUMA-locality for future memory accesses. I have evaluated the performance of my new memory allocator with the “Larson” memory benchmark which is commonly used to evaluate the performance and scalability of memory allocations in server applications. The evaluation showed significant improvements for my allocator over Genode’s default allocator. Currently, I use my allocator even as a replacement for libC’s heap on Genode to test its performance and stability in real world applications. There might come up a pull requests, once, I have cleaned up the code and made it platform-agnostic. After I attended last year’s Hack’n’Hike where Norman explained to me how SculptOS implements the dynamic creation of components, I could finally implement my own CLI-based remote shell for Genode (think of it as the CLI version of Leitzentrale). Now, my colleagues and I can run various evaluation campaigns on Genode on our servers without manually having to compile a new Genode image and restart our servers for each change in a scenario, as we had to before, because Leitzentrale did not work on our servers (for some it did not start at all and for another server it started but keyboard and mouse didn’t work) and we didn’t need a GUI but scriptable manager instead. In the meanwhile, as kind of a side quest, I analyzed and experimented with Genode’s network stack, as using it for data-center workloads revealed some bottlenecks. In conclusion, 2025 was finally the year I got not just a first prototype of my envisioned data-center OS but also one that can new be used by others. As I will be on search for a new job in 2026, as my contract at the university comes to an end in February, I am not sure whether my plans for 2026 work out as intended. Nonetheless, I’d like to present some of the work I’d like to do in 2026. First and foremost, I’d like to use 2026 to improve the scalability and performance of Genode’s network stack which would benefit running server applications on Genode as well as network-bound desktop applications. In this regard, I like the idea to build bridges to other projects and applications for Genode. I imagine one could also build bridges into server and cloud applications, too. For example, I think of porting a set of typical server applications (such as memcached and a DBMS) to Genode. Which together with lighttpd (or even a port of apache or nginx) would enable Genode to host dynamic websites such as content-management systems, blogs such as Wordpress, or even instances of the fediverse. Above all, I am more than ever convinced that Genode’s architecture combined with the concept of microkernels provides a better foundation for today’s cloud infrastructure than Linux or Windows can provide, as I will discuss in my upcoming talk at FOSDEM 2026. I really like the idea of building bridges and hope to see more applications of Genode in the future. Cheers, Michael ............................................................................................................................................... Michael Müller Wissenschaftlicher Mitarbeiter (DFG-Projekt MxKernel) AG Eingebettete Systeme — Institut für Informatik Raum 50/613a Telefon: +49 541 969 3891 E-Mail: michael.mueller(a)uos.de <mailto:michael.mueller@uos.de> Homepage: ess.cs.uos.de/team/mml <https://ess.cs.uos.de/team/mml>

2 1

write access to U-BOOT environment with Genode 25.08 onward
by Pirmin Duss 28 Nov '25

28 Nov '25

Hello Genodians We have an tool that can read / write the environment of U-BOOT. On Genode 25.05 reading / writing works without any problems. The relevant part of the config looks as follows: <start name="usdhc" caps="150" ram="16M"> <binary name="imx8mq_sd_card"/> <provides> <service name="Block"/> </provides> <config report="yes"> <default-policy device="mmcblk1boot0" writeable="yes"/> </config> <route> <any-service> <parent/> </any-service> </route> </start> <start name="uboot_tool" caps="100" ram="16M"> <route> <service name="Block"> <child name="usdhc"/> </service> <any-service> <parent/> </any-service> </route> </start> When switching to Genode 25.08 or sculpt-25.10 there is the following error when trying to write: [init -> uboot_tool] Error: failed to read environment data WRITE block=7680 count=128 Read access still works. How do I need to update the policy to allow write access to the U-BOOT partition? For normal partitions it adding the default policy as described in the release notes for Genode 25.08 was sufficient. Kind regards, Pirmin

2 2

Announcement: Genode OS Framework version 25.11 released
by Christian Helmuth 27 Nov '25

27 Nov '25

Hello everyone, I'm happy to announce the release of Genode 25.11. https://genode.org/documentation/release-notes/25.11 In this release, we wrap up our year of "rigidity, clarity, performance" with many under-the-hood improvements as well as some prominent changes. First, our custom kernel received special tuning of its new CPU scheduler addressing Sculpt-OS workloads on devices with limited resources (e.g., the Pinephone) as well as beefy Intel notebooks. Also, the new human-inclined data (HID) configuration format is now supported in almost all Genode components simultaneously with XML. The most impactful topic, however, is a new modus operandi of co-maintaining applications and libraries in the Genode-World repository, which is re-designated as meeting place for concerted efforts. The latter is supported by new enhancements of the Goa SDK to make software co-maintenance a nonchalant task. Further the release addresses the use of seL4 on 64-bit ARM, Intel Alder Lake GPUs, and USB-to-serial adapters, as well as the addition of TCP/IP Keep Alive. The current release contains the following changes and new features: - Genode-world repository transitioned to the Goa SDK - Goa SDK improvements for project co-maintenance - Maturing human-inclined data (HID) processing and tooling - Automatic restarting of health-monitored components - TCP/IP keep-alive and keep-address functionality - New driver for USB-to-serial adapters - Intel GPU on Alder Lake platforms - Compatibility to the seL4 kernel on 64-bit ARM - X2APIC support for Genode's custom base-hw kernel - Streamlined and modernized on-target test suite Read the complete release documentation for the version 25.11 here https://genode.org/documentation/release-notes/25.11 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 25.10.1
by Norman Feske 21 Nov '25

21 Nov '25

Dear Sculpt-OS users, today we released a minor update of Sculpt OS - version 25.10.1 - that contains a number of bug fixes (most importantly [1]) and various refinements such as: - Solved touch-keyboard glitches in the symbol layer on the PinePhone - Enabled GPU-accelerated graphics on Intel Alderlake - VBox shared clipboard enabled on the HRD version - Preserved formatting when using /tool/hrd to manipulate data The new version is available for the PC, PinePhone, and MNT Reform. My personal "human-readable-data" flavor [2] published as 'nfeske' has also been updated. You can find Sculpt OS 25.10.1 in the system-update dialog or as downloadable images at: https://genode.org/download/sculpt Hoping you will enjoy the new version, Norman [1] https://genode.discourse.group/t/possibility-of-data-corruption-with-raw-vm… [2] https://genodians.org/nfeske/2025-10-30-sculpt-human -- 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

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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users