Hi, I've made some diffs on linux config files to understand what's going on.
$ diff config-3.13-0.bpo.1-amd64 config-3.13-0.bpo.1-686-pae | grep -i kvm < CONFIG_KVM_DEVICE_ASSIGNMENT=y CONFIG_KVM_DEVICE_ASSIGNMENT is set for amd64 arch $ diff config-3.13-0.bpo.1-686-pae config-3.12-0.bpo.1-686-pae | grep -i kvm < CONFIG_KVM_VFIO=y CONFIG_KVM_VFIO is set for 3.13 branch $ diff config-3.13-0.bpo.1-amd64 config-3.13-0.bpo.1-686-pae | grep -i vfio < CONFIG_VFIO_IOMMU_TYPE1=m < CONFIG_VFIO=m < CONFIG_VFIO_PCI=m < # CONFIG_VFIO_PCI_VGA is not set CONFIG_VFIO_IOMMU_TYPE1, CONFIG_VFIO and CONFIG_VFIO_PCI are not set for 686-pae arch Don't know what to think about this. -- igor -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/152418257.144595649.1398690292853.javamail.r...@zimbra93-e16.priv.proxad.net
