Hi,
I'm trying to build sculpt according to document
https://genode.org/documentation/sculpt-20-02.pdf.
In section 5.2 Building the boot image stage 7 one finds:
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
The file repos/gems/run/sculpt.run exists.
$ file repos/gems/run/sculpt.run
repos/gems/run/sculpt.run: exported SGML document, ASCII text
However there is an error:
$ make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc
make: Entering directory
'/home/shlomo/development/all_git/genode.git/genode/build/x86_64'
Error: No run script for sculpt
make: *** [Makefile:323: run/sculpt] Error 255
make: Leaving directory
'/home/shlomo/development/all_git/genode.git/genode/build/x86_64'
Best regards,
S.P.
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
