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_image>

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/index.html

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@lists.genode.org
https://lists.genode.org/listinfo/users

--
Alexander Boettcher
Genode Labs

https://www.genodians.org - https://www.genode.org

_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Reply via email to