kernelconfig_penguin

depends
CONFIG_IOMMU_SUPPORT
CONFIG_ARCH_ROCKCHIP or CONFIG_COMPILE_TEST
CONFIG_ARM or CONFIG_ARM64

is selected by
CONFIG_DRM_ROCKCHIP

Rockchip IOMMU Support

modulename: rockchip-iommu.ko
configname: CONFIG_ROCKCHIP_IOMMU

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

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

Support for IOMMUs found on Rockchip rk32xx SOCs.
These IOMMUs allow virtualization of the address space used by most
cores within the multimedia subsystem.
Say Y here if you are using a Rockchip SoC that includes an IOMMU
device.


source code:


drivers/iommu/rockchip-iommu.c