xen-display

#!/bin/bash

sudo xl mem-set 0 3500M

for i in 00:02.0 00:14.0 00:03.0 00:1b.0; do
        xl pci-assignable-remove $i
        tee /sys/bus/pci/devices/0000:$i/remove <<<1
        tee /sys/bus/pci/rescan <<<1
done

modprobe i915
modprobe xhci_pci
modprobe snd_hda_codec_hdmi
modprobe snd_hda_codec_generic
modprobe snd_hda_intel
modprobe snd