ANDROID: gki: Enable pkvm pviommu driver

Since device assignement is enabled on Android16-6.12, guest VMs would
need to have pvIOMMU to interact with pKVM.

Bug: 357781595
Bug: 348382247
Bug: 236685427
Change-Id: I4cc4618ae6ebc10b2eb56b8e1c174ae6ccc4b5b9
Signed-off-by: Mostafa Saleh <smostafa@google.com>
This commit is contained in:
Mostafa Saleh
2025-06-24 10:15:54 +00:00
parent 030e00a2d7
commit 453cb67e8f

View File

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