ANDROID: GKI: Enable CONFIG_IOMMU_IO_PGTABLE_ARMV7S

To enable IOMMU driver, we need to enable CONFIG_IOMMU_IO_PGTABLE_ARMV7S
as build-in by default value in gki_defconfig.

Bug: 189076024

Signed-off-by: Guangming Cao <Guangming.Cao@mediatek.com>
(cherry picked from commit b6cab5d17d)
(cherry picked from commit 384f465298)
(cherry picked from https://android-review.googlesource.com/q/commit:f6090aae9656c0de4c27d987c81e23794e0d5ac9)
Merged-In: Ia9a87682c2c56338f57703a4bc01793fbe1a3496
Change-Id: Ia9a87682c2c56338f57703a4bc01793fbe1a3496
This commit is contained in:
Guangming Cao
2021-05-25 09:57:47 +08:00
committed by Treehugger Robot
parent 633bfdda75
commit f627c35dd5

View File

@@ -567,6 +567,7 @@ CONFIG_COMMON_CLK_SCPI=y
CONFIG_HWSPINLOCK=y
# CONFIG_SUN50I_ERRATUM_UNKNOWN1 is not set
CONFIG_MAILBOX=y
CONFIG_IOMMU_IO_PGTABLE_ARMV7S=y
CONFIG_REMOTEPROC=y
CONFIG_REMOTEPROC_CDEV=y
CONFIG_RPMSG_CHAR=y