Alex, I'm trying to think through how binding/unbinding of devices will work with VFIO for platform devices and have a couple of questions about how vfio-pci works. When you bind a device to vfio-pci, e.g.: # echo 1102 0002 > /sys/bus/pci/drivers/vfio-pci/new_id ...I understand that the echo into 'new_id' tells the vfio pci driver that it now handles the specified PCI ID. But now there are 2 drivers that handle that PCI ID, the original host driver and vfio-pci. Say that you hotplug a PCI device that matches that ID. Which of the 2 drivers are going to get bound to the device? Also, if you unbind a device from vfio-pci and want to bind it again to the normal host driver you would just echo the full device info into the 'bind' sysfs file for the host driver, right? echo 0000:06:0d.0 > /sys/bus/pci/drivers/... Thanks, Stuart -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html