Package: linux-image-4.5.0-2-powerpc64le Version: 4.5.5-1 Severity: important
VFIO PCI passthrough is not available on POWER8 systems due to several missing kernel configuration options. PCI passthrough is an important feature of POWER8 machines, works well under at least Linux 4.5, and should be available in the Debian stock kernels as a module. The following options need to be set on ppc64el to enable this functionality: CONFIG_SPAPR_TCE_IOMMU=y CONFIG_VIRTIO=m CONFIG_VFIO_PCI=m As ppc64el does not support any systems below POWER8 it should be safe to set these options for all ppc64el kernels.
