Bug#826367: Enable VFIO PCI passthrough on ppc64le
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.
Reply to: