start-virtual-machine.sh

#!/bin/sh
X11="/etc/X11"
PCIE="0000:09:00.0 0000:09:00.1 0000:09:00.2 0000:09:00.3"

sudo sh -c \
        "vfio-bind $PCIE; \
        echo 0 > /sys/class/vtconsole/vtcon0/bind; \
        echo 0 > /sys/class/vtconsole/vtcon1/bind; \
        echo efi-framebuffer.0 > \
                /sys/bus/platform/drivers/efi-framebuffer/unbind; \
        sleep 1s;\
        virsh start $1"