From b6cab5d17d8b75a5c7b469070e731fd408485b43 Mon Sep 17 00:00:00 2001 From: Guangming Cao Date: Tue, 25 May 2021 09:57:47 +0800 Subject: [PATCH] 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 Change-Id: Ia9a87682c2c56338f57703a4bc01793fbe1a3496 Signed-off-by: Guangming Cao --- arch/arm64/configs/gki_defconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/arch/arm64/configs/gki_defconfig b/arch/arm64/configs/gki_defconfig index 72d69191900f..dea1b206f2e0 100644 --- a/arch/arm64/configs/gki_defconfig +++ b/arch/arm64/configs/gki_defconfig @@ -509,6 +509,7 @@ CONFIG_SUN4I_TIMER=y CONFIG_MTK_TIMER=y CONFIG_MAILBOX=y CONFIG_IOMMU_LIMIT_IOVA_ALIGNMENT=y +CONFIG_IOMMU_IO_PGTABLE_ARMV7S=y CONFIG_REMOTEPROC=y CONFIG_REMOTEPROC_CDEV=y CONFIG_RPMSG_CHAR=y