kernelconfig_penguin

CONFIG_S390_IOMMU (not configurable)

modulename: s390-iommu.ko
configname: CONFIG_S390_IOMMU

Linux Kernel Configuration
└─> Device Drivers
└─> IOMMU Hardware Support
└─> S390_IOMMU

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

Support for the IOMMU API for s390 PCI devices.


source code:


drivers/iommu/s390-iommu.c