revert.sh

#!/bin/bash
# Unload VFIO-PCI Kernel Driver
modprobe -r vfio-pci
# Re-Bind GPU to Nvidia Driver
echo -n "0000:09:00.0" > /sys/bus/pci/drivers/nvidia/bind
echo -n "0000:09:00.1" > /sys/bus/pci/drivers/snd_hda_intel/bind
echo 1 > /sys/bus/pci/rescan
# Wait 1 second to avoid possible race condition
sleep 1
# Re-Bind EFI-Framebuffer
echo efi-framebuffer.0 > /sys/bus/platform/drivers/efi-framebuffer/bind
# Re-bind to virtual consoles
echo 1 > /sys/class/vtconsole/vtcon0/bind
echo 1 > /sys/class/vtconsole/vtcon1/bind
# Restart Display Manager
#startx