[chelmuth]

Genode uses PCI MMCONFIG, so you have to use 'qemu -machine q35' not 'pc'.

[lsofzz]

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