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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > Archived at > https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/TJ4ID5ZMXP2X4YXDBKEXIGWC7VMJ22FB/ _______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/ORRX7O74ZQKLNGQYLOZSDW55GJEYAVP4/
