users February 2025

users@lists.genode.org

5 participants
4 discussions

Announcement: Genode OS Framework version 25.02 released
by Norman Feske 28 Feb '25

28 Feb '25

I'm happy to announce the release of version 25.02 of the Genode OS Framework. https://genode.org/news/genode-os-framework-release-25.02 The first release of the year already pays tribute to our road-map theme "rigidity, clarity, performance" by introducing SIMD-based graphics optimizations, revising and simplifying central parts of our custom base-hw kernel, while also lifting long-standing scalability limitations when using 3rd-party kernels like seL4 and Fiasco.OC. In addition to this careful gardening work, the release is not short of features either. The headlines of the release documentation are the extension of multi-monitor support to the window manager and virtual machines, the updated port of the Chromium engine along with the Falkon web browser, and Qemu as native Genode component. The highlights of the new version at a glance: - Multi-monitor window management - Multi-monitor virtual machines - SIMD optimizations - Port of Qemu via Goa - Web Engine updated to Chromium version 112 - User-space IOMMU support for IRQ remapping - Sculpt OS on Intel Meteor Lake platforms - Goa SDK improved for building shared libraries - New board support for F&S i.MX 8MP armStone All the details behind these (and more) topics of the new version are given in release documentation: https://genode.org/documentation/release-notes/25.02 Norman -- 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

GDB Hangs After Continue
by Rumen Mitov 26 Feb '25

26 Feb '25

Hello, I was trying to debug my program with GDB, however after connecting to the binary, loading all the appropriate files, and running "continue", GDB just hangs and it does not produce any output. Here are the exact steps I took: 1. Inserted wait_for_continue() in my code 2. make -C build/x86_64/ run/squid KERNEL=linux BOARD=linux & 3. ps -ef | grep squid 4. gdb -p <port number from previous command> 5. symbol-file build/x86_64/debug/squid 6. add-symbol-file build/x86_64/debug/ld-linux.lib.so 7. continue (GDB hangs, I have to CTRL-c it) Did I perhaps miss a step? Best, Rumen

2 1

Goa: Cannot get sub-node from XML
by Rumen Mitov 19 Feb '25

19 Feb '25

Hello, I am trying to migrate my project to the Goa build system. However, when I try running Genode throws 'Genode::Xml_node::Nonexistent_sub_node'. Below I have provided a simplified file containing the isolated code from where the error is thrown along with the full runtime file. Line 13 is the where the error is thrown from. I cannot figure out why this is not working, since it works just fine with the traditional build system (i.e. with make). Any help will be greatly appreciated! Best, Rumen

2 3

Kernel: Cpu 2 error: re-entered lock. Kernel exception
by Pirmin Duss 12 Feb '25

12 Feb '25

Hello Genodians Since we rolled out the update to 24.11 we see the above message about once or twicw a day in the logs of our testing pipeline. It happens on different hardware (Up-Xtreme and imx8mp_iot_gate in the last two days) and in different run scripts. The run scripts range from a fairly simple TPM run script to complicated run scripts that test the resilience of the operating system to stopping/starting of whole subsystems and reboots. Currently we don't have a case where this happens reproducible. It could be related to https://github.com/genodelabs/genode/issues/5382 but also something completely different. How could we narrow down the issue and gather logs to identify the cause of it? Kind regards, Pirmin

2 3

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users February 2025