kernelconfig_penguin

sPAPR TCE IOMMU Support

configname: CONFIG_SPAPR_TCE_IOMMU

Linux Kernel Configuration
└─> Device Drivers
└─> IOMMU Hardware Support
└─> sPAPR TCE IOMMU Support

In linux kernel since version 3.10 (release Date: 2013-06-30)  

Enables bits of IOMMU API required by VFIO. The iommu_ops
is not implemented as it is not necessary for VFIO.