fail to create sculpt boot image and failed to boot prebuilt image

David Pfeiffer david.anthony.pfeiffer at gmail.com
Thu Jun 1 15:43:17 CEST 2023


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'

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20230601/b736123a/attachment.htm>


More information about the users mailing list