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