Ok found: /home/paul/genodemy/genode/repos/gems/run/sculpt_image.run But still I get: [paul@betakard genode]$ LANG=C make -C build/x86_64 run/sculpt_image KERNEL=nova BOARD=pc make: Entering directory '/home/paul/genodemy/genode/build/x86_64' including /home/paul/genodemy/genode/tool/run/power_on/qemu including /home/paul/genodemy/genode/tool/run/log/qemu including /home/paul/genodemy/genode/tool/run/image/iso including /home/paul/genodemy/genode/tool/run/boot_dir/nova including /home/paul/genodemy/genode/repos/gems/run/sculpt_image.run missing run-tool argument: --include image/disk make: *** [Makefile:446: run/sculpt_image] Error 1