users December 2024

users@lists.genode.org

8 participants
7 discussions

Goa Unable to Verify, Wrong Pubkey
by Rumen Mitov 20 Dec '24

20 Dec '24

Hello, I ran into a problem after updating Goa with the command goa update-goa master Now whenever I try to build my project now I get the following error: ``` Error: could not verify 'genodelabs/api/base/2024-10-07', signature does not match public key '/home/rumen/Coding/phantomuserland/var/depot/genodelabs/pubkey' ``` I have tried: * removing and re-cloning goa, * removing the "var" directory * removing and re-cloning genode * setting genode to branches: master, 24.11., 24.05., 24.02. * the steps here: https://github.com/genodelabs/goa/issues/1 * goa update-goa to versions 24.10, 24.04., 23.10 None of these approaches worked. Does anyone know how to resolve the issue? Best, Rumen

2 2

Announcement: Sculpt OS version 24.10 released
by Norman Feske 11 Dec '24

11 Dec '24

[again, now with the correct subject] Hello everyone, it's my great pleasure to announce today's release of Sculpt OS 24.10: https://genode.org/news/sculpt-os-release-24.10 The new version features the highly anticipated support for multiple monitors, which was quite a challenging feat. In fact, it required a far-reaching redesign of Genode's GUI stack to make applications multi-monitor-aware, ensure the visibility of the pointer at all times, avoid increased CPU load on account of serving multiple output devices, and propagate DPI information from each monitor's EDID information right down to the applications. With these technical questions cleared, the remaining challenge was making the new abilities available to the user via both a convenient interactive user interface - nicely embedded in Sculpt's component graph - as well as text-driven configuration. You can find the new facilities covered in the updated documentation: https://genode.org/documentation/articles/sculpt-24-10#Multi-monitor_support Besides the added multi-monitor support, the new version benefits from all advancements of the Genode OS Framework since April, specifically the updated arsenal of Linux-based drivers (Wifi, Ethernet, Intel display, USB) to version 6.6.47, and the uncountable new niceties of the Goa SDK. We just made the new version simultaneously available for Intel PCs, the PinePhone, and the MNT Reform laptop. Seasoned Sculpt OS users can readily switch to version 2024-10-30 using the system-update dialog. New users are invited to fetch a bootable system image from our download page. https://genode.org/download/sculpt Thanks to everyone of our team for having developed, stress-tested, and polished the release as a concerted effort! For feedback, questions, or discussion about the release, let me point you to our user forum: https://genode.discourse.group Happy Sculpting! 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

6 21

Terminal session raw and unbuffered
by Stefan Thöni 04 Dec '24

04 Dec '24

Hi Genodians I'm trying to use a Terminal session to provide access to a character device (TPM) under base-linux. The reason I'm not using a vfs it that implementing a File_system session server in my lx_chardev component would be unnessecarily complicated for this usage. The problem I encountered it that the vfs_terminal even in raw mode buffers read data thereby issuing longer reads than requested by the application. While this is fine for other more terminal-like usages it doesn't play well inbetween a character device and it's driver. I would suggest either not buffering reads in raw mode or adding an additional "unbuffered" config option. Which would be the preferred option? Whould such a change have the potential to be accepted upstream? Kind regards Stefan

2 1

Foundations book, try to write an .iso on an usb stick, won't work
by Paul Dufresne 03 Dec '24

03 Dec '24

2.4, page 28: As suggested by the arguments, the scenario is supplied to Qemu as an ISO image re- siding at var/run/demo.iso. The ISO image can not only be used with Qemu but also with a real machine. For example, creating a bootable USB stick with the system scenario is as simple as writing the ISO image onto a USB stick: sudo dd if=var/run/demo.iso of=/dev/ bs=8M conv=fsync I am pretty sure it will not work... iso are for DVD, not USB sticks. Guess build.conf need to be edited a bit to make it easier to select a .img by just choosing between two comments lines.

2 4

Still using Python2?
by Paul Dufresne 02 Dec '24

02 Dec '24

Was following https://genode.org/documentation/developer-resources/getting_started [paul@betakard genode]$ LANG=C make -C build/x86_32 KERNEL=okl4 BOARD=pc run/demo make: Entering directory '/home/paul/genode/build/x86_32' including /home/paul/genode/tool/run/power_on/qemu including /home/paul/genode/tool/run/log/qemu including /home/paul/genode/tool/run/image/iso including /home/paul/genode/tool/run/boot_dir/okl4 including /home/paul/genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Entering directory '/home/paul/genode/build/x86_32' Library ld.abi.so Library base.lib.a Program app/status_bar/status_bar Program test/nitpicker/testnit make[1]: Leaving directory '/home/paul/genode/build/x86_32' genode build completed checking configuration syntax CHECK init using 'core-okl4.a' as 'core.a' /usr/bin/env: 'python2': No such file or directory while executing "exec [elfweaver] merge --output "[run_dir]/image.elf" "[run_dir].weaver.xml"" (procedure "run_boot_dir" line 37) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 43) invoked from within "build_boot_image [list {*}[build_artifacts] launchpad.config]" (file "/home/paul/genode/repos/os/run/demo.run" line 218) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/paul/genode/tool/run/run" line 1209) make: *** [Makefile:446: run/demo] Error 1 make: Leaving directory '/home/paul/genode/build/x86_32' [paul@betakard genode]$ It is becoming hard to install python2. I am using Arch BTW! :-) I tried to insall: https://aur.archlinux.org/packages/python2 but: makepkg ... ==> Validating source files with sha512sums... Python-2.7.18.tar.xz ... Passed Python-2.7.18.tar.xz.asc ... Skipped mtime-workaround.patch ... Passed python-gentoo-patches-2.7.18_p16.tar.xz ... Passed ==> Verifying source file signatures with gpg... Python-2.7.18.tar.xz ... FAILED (unknown public key 04C367C218ADD4FF) ==> ERROR: One or more PGP signatures could not be verified! [paul@betakard python2]$

2 1

compiling got me a sculpt.iso file, wanted a scult.img file
by Paul Dufresne 01 Dec '24

01 Dec '24

make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc got me: [paul@betakard genode]$ ls -lh build/x86_64/var/run total 614M drwxr-xr-x 1 paul paul 8 1 déc 11:19 sculpt -rw-r--r-- 1 paul paul 452M 1 déc 11:19 sculpt.boot_modules.o -rw-r--r-- 1 paul paul 20K 1 déc 11:19 sculpt.config -rw-r--r-- 1 paul paul 163M 1 déc 11:20 sculpt.iso [paul@betakard genode]$ was expecting a sculpt.img file... to put on my USB key. Tried to write the sculpt.iso file on my USB key but it did not boot. What am I missing?

2 2

ports/libc.port:40: *** Need to have 'rpcgen' installed
by Paul Dufresne 01 Dec '24

01 Dec '24

make run/sculpt asked me to prepare libc (among many) but: libarchive install include/libarchive /home/paul/genodemy/genode/repos/libports/ports/libc.port:40: *** Need to have 'rpcgen' installed.. Arrêt. make[1]: *** [/home/paul/genodemy/genode/tool/ports/mk/prepare_single_port.mk:43: _install_in_port_dir] Error 2 make: *** [/home/paul/genodemy/genode/tool/ports/prepare_port:47: libc] Error 2 After that, I cannot return there because: make run/sculpt: Error: Ports not prepared or outdated: dde_rump libc libgcrypt libnl libpng libssh linux linux-firmware ncurses nova openssl stb ttf-bitstream-vera vim wpa_supplicant x86emu xz zlib /home/paul/genodemy/genode/tool/ports/prepare_port dde_rump libc libgcrypt libnl libpng libssh linux linux-firmware ncurses nova openssl stb ttf-bitstream-vera vim wpa_supplicant x86emu xz zlib dde_rump update src/lib/dde_rump dde_rump apply patches/rump.patch dde_rump apply patches/aarch64.patch Reversed (or previously applied) patch detected! Assume -R? [n] Apply anyway? [n] 2 out of 2 hunks ignored -- saving rejects to file src/lib/dde_rump_backport/arm/arm32/kobj_machdep.c.rej make[2]: *** [/home/paul/genodemy/genode/tool/ports/mk/install.mk:128: phony/patches/patches/aarch64.patch] Error 1 make[1]: *** [/home/paul/genodemy/genode/tool/ports/mk/prepare_single_port.mk:43: _install_in_port_dir] Error 2 make: *** [/home/paul/genodemy/genode/tool/ports/prepare_port:47: dde_rump] Error 2 [paul@betakard x86_64]$ Is there a way to unprepare everything to begn to new, after fixing rpcgen not installed (don't know how, asking here)?

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users December 2024