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...