The requested feature is now present in the latest Debian SID kernel (3.16.7-ckt4-3):
% grep "VFIO" /boot/config-3.16.0-4-amd64 CONFIG_VFIO_IOMMU_TYPE1=m CONFIG_VFIO=m CONFIG_VFIO_PCI=m CONFIG_VFIO_PCI_VGA=y CONFIG_KVM_VFIO=y This bug report can thus be closed. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org