make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc got me: [paul@betakard genode]$ ls -lh build/x86_64/var/run total 614M drwxr-xr-x 1 paul paul 8 1 déc 11:19 sculpt -rw-r--r-- 1 paul paul 452M 1 déc 11:19 sculpt.boot_modules.o -rw-r--r-- 1 paul paul 20K 1 déc 11:19 sculpt.config -rw-r--r-- 1 paul paul 163M 1 déc 11:20 sculpt.iso [paul@betakard genode]$
was expecting a sculpt.img file... to put on my USB key. Tried to write the sculpt.iso file on my USB key but it did not boot.
What am I missing?
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
Hi,
You need to change QEMU_RUN_OPT in build/x86_64/etc/build.conf to image/disk instead of image/iso.
-- Best Regards Ivan Loskutov
On Sun, Dec 1, 2024 at 5:44 PM Paul Dufresne via users users@lists.genode.org wrote:
make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc got me: [paul@betakard genode]$ ls -lh build/x86_64/var/run total 614M drwxr-xr-x 1 paul paul 8 1 déc 11:19 sculpt -rw-r--r-- 1 paul paul 452M 1 déc 11:19 sculpt.boot_modules.o -rw-r--r-- 1 paul paul 20K 1 déc 11:19 sculpt.config -rw-r--r-- 1 paul paul 163M 1 déc 11:20 sculpt.iso [paul@betakard genode]$
was expecting a sculpt.img file... to put on my USB key. Tried to write the sculpt.iso file on my USB key but it did not boot.
What am I missing?
users mailing list -- users@lists.genode.org To unsubscribe send an email to users-leave@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/mes...
-
Ivan Loskutov -
Paul Dufresne