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-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/TJ4ID5ZMXP2X4YXDBKEXIGWC7VMJ22FB/
