users June 2023

users@lists.genode.org

15 participants
14 discussions

Re: fail to create sculpt boot image and failed to boot prebuilt image
by Alexander Boettcher 06 Jun '23

06 Jun '23

Hello, On 01.06.23 15:43, David Pfeiffer wrote: > Following the guide I get an error at step 7 of the guide: > <https://genode.org/documentation/articles/sculpt-23-04#Building_the_boot_im…> > > 7. Create the Sculpt boot image (defined by the run script at /repos/gems/run/sculpt.run/) > > make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc DEPOT=omit > > > The error is: > > make: Entering directory '/home/dave/Downloads/genode/build/x86_64' > /bin/bash: line 1: /usr/local/genode/tool/21.05/bin/genode-x86-g++: No such file or directory > dirname: missing operand > Try 'dirname --help' for more information./bin/bash: /home/dave/Downloads/genode/tool/run/run: /usr/bin/expect: bad interpreter: No such file or directory > make: *** [Makefile:431: run/sculpt] Error 126 > make: Leaving directory '/home/dave/Downloads/genode/build/x86_64' you seem to over-read the following of the guide: "The following steps assume that you have the Genode tool chain installed on a GNU/Linux system. For reference, Ubuntu LTS is known to work well. If you don't know your way around Genode's source tree yet, please consider the "Getting started" section of the Genode Foundations book that is available as a free download at https://genode.org." So, you seem not to setup the Genode tool chain and additional necessary tools. If one follow the description, you get to https://genode.org/documentation/genode-foundations/23.05/getting_started/i… > So then I simply tried to boot from a prebuilt image and upon booting I couldn't get past the Genode boot.png > > I'm running on a Lenovo YOGA intel i7-8565U, building on Void Linux. > it seems to be an very early boot issue, which will not be easy to debug remotely (- to get an idea follow the thread of [0] for). In principle, your notebook should be fine. So, either try another machine if you just want to get an idea of Sculpt, or we may try different things along the lines of [0], if you are interested. Cheers, Alex. [0] https://lists.genode.org/pipermail/users/2023-February/008492.html > Any help is much appreciated. > > Dave > > > > > _______________________________________________ > Genode users mailing list > users(a)lists.genode.org > https://lists.genode.org/listinfo/users -- Alexander Boettcher Genode Labs https://www.genodians.org - https://www.genode.org

2 5

signal() genode support
by Alexander Tormasov 02 Jun '23

02 Jun '23

in release notes to 23.05 related to rust support I found the following: «After adding the signal(3) interface…» how to borrow this support in my C code? is it available for anyone in current genode release or it is necessary to port from rust support? Alexander

2 1

Wireguard with remote peer
by Stefan Thöni 01 Jun '23

01 Jun '23

Dear Genodians We are looking into using wireguard to access sensor nodes connected by a genode-powered gateway through a wireguard server running on Linux. By trying this, we discovered that the wireguard connection works only once, and upon restart of the runscript yields "Invalid handshake initiation" in the servers log. We based on a post by wireguard developer Jason Donenfeld [1] (key phrase: "WireGuard relies on a timestamp counter always moving forward.") we concluded that this problem is caused by DDE restarting at time zero instead of using an RTC connection, thereby triggering wireguard's replay protection mechanism on the server peer. We're not sure how to best fix the problem. Do you have any suggestions? [1] https://inbox.vuxu.org/wireguard/7aa9fe5e-2ae2-cf8b-ae6d-d98de2031b44@poste… Best Regards Stefan Thöni gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 3

fail to create sculpt boot image and failed to boot prebuilt image
by David Pfeiffer 01 Jun '23

01 Jun '23

Following the guide I get an error at step 7 of the guide: <https://genode.org/documentation/articles/sculpt-23-04#Building_the_boot_im…> 7. Create the Sculpt boot image (defined by the run script at /repos/gems/run/sculpt.run/) make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc DEPOT=omit The error is: make: Entering directory '/home/dave/Downloads/genode/build/x86_64' /bin/bash: line 1: /usr/local/genode/tool/21.05/bin/genode-x86-g++: No such file or directory dirname: missing operand Try 'dirname --help' for more information./bin/bash: /home/dave/Downloads/genode/tool/run/run: /usr/bin/expect: bad interpreter: No such file or directory make: *** [Makefile:431: run/sculpt] Error 126 make: Leaving directory '/home/dave/Downloads/genode/build/x86_64' I've edited the build.conf as directed in step 5. I am on branch 23.04 yet the VERSION file contains 23.02 which I thought was odd. Also, I'm not sure wy it's looking for '/usr/local/genode/tool/21.05/bin/genode-x86-g++' at all. So then I simply tried to boot from a prebuilt image and upon booting I couldn't get past the Genode boot.png I'm running on a Lenovo YOGA intel i7-8565U, building on Void Linux. Any help is much appreciated. Dave

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users June 2023