From bb599a4b3efa1d2dfe71ca4e0ef77dbedd0b8936 Mon Sep 17 00:00:00 2001
From: Keir Fraser <keirf@google.com>
Date: Tue, 15 Oct 2024 10:34:36 +0000
Subject: [PATCH] ANDROID: ARM64: gki_defconfig: Enable PKVM guest driver

Bug: 357781595
Change-Id: I364f8f113407e3f81e1bbf6e766142455d53c4d6
Signed-off-by: Keir Fraser <keirf@google.com>
---
 arch/arm64/configs/gki_defconfig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arch/arm64/configs/gki_defconfig b/arch/arm64/configs/gki_defconfig
index b6859183a4b9..a83fcdd4b90b 100644
--- a/arch/arm64/configs/gki_defconfig
+++ b/arch/arm64/configs/gki_defconfig
@@ -560,6 +560,8 @@ CONFIG_RTC_DRV_PL031=y
 CONFIG_DMABUF_HEAPS=y
 CONFIG_DMABUF_SYSFS_STATS=y
 CONFIG_UIO=y
+CONFIG_VIRT_DRIVERS=y
+CONFIG_ARM_PKVM_GUEST=y
 CONFIG_VIRTIO_PCI=m
 # CONFIG_VIRTIO_PCI_LEGACY is not set
 CONFIG_VIRTIO_BALLOON=m