BUILD_HEAD=a9c3bb11
timeout -k 1s --foreground 3000s /usr/libexec/qemu-kvm -nodefaults -machine virt,gic-version=host -accel kvm -cpu host -device virtio-serial-device -device virtconsole,chardev=ctd -chardev testdev,id=ctd -device pci-testdev -display none -serial stdio -kernel _NO_FILE_4Uhere_ -smp 8 -machine gic-version=2 -append ipi # -initrd /tmp/tmp.05hP9yehyt
qemu-kvm: host does not support in-kernel GICv2 emulation
SKIP gicv2-ipi (qemu-kvm: host does not support in-kernel GICv2 emulation)