Timothy Pearson Sat, 04 Jun 2016 18:09:59 -0700
Apologies; one of the options given above was incorrect. The following options need to be set on ppc64el to enable PCI VFIO functionality: CONFIG_SPAPR_TCE_IOMMU=y CONFIG_VFIO=m CONFIG_VFIO_PCI=m
