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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
