4 ms·

> It's worth to note they now have a downloadable USB image, which is notably dogfed (dogfooded? dogfeeded?) by the Genode developers: https://genode.org/downlo

by lsofzz 8y ago

> It's worth to note they now have a downloadable USB image, which is notably dogfed (dogfooded? dogfeeded?) by the Genode developers: https://genode.org/download/sculpt https://genode.org/download/sculpt I fetched their `sculpt-vc.img` and create qcow out of it to directly boot in qemu. $ qemu-img convert -f raw -O qcow2 sculpt-vc.img /var/lib/libvirt/images/sculpt-vc.qcow2 The resulting image is not bootable. It fails on boot showing Genode logo and goes into a reboot cycle. $ file sc* sculpt-vc.img: DOS/MBR boot sector, extended partition table (last) sculpt-vc.qcow2: QEMU QCOW2 Image (v3), 24375296 bytes

chelmuth 8y ago
Genode uses PCI MMCONFIG, so you have to use 'qemu -machine q35' not 'pc'.
- lsofzz 8y ago
  Nice. This got me going $ qemu-system-x86_64 -name guest=humbug,debug-threads=on -drive file=/var/lib/libvirt/images/sculpt-vc.qcow2 -machine q35 ....