From 6e2437d0b9a682e867600a8a0a7a3c5254332393 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 15 Oct 2024 11:22:01 +0000 Subject: [PATCH] ANDROID: ARM64: microdroid_defconfig: Enable PKVM guest driver Bug: 357781595 Change-Id: If0f491fb2fc47a40c26e36b201a0be80fba2a546 Signed-off-by: Keir Fraser --- arch/arm64/configs/microdroid_defconfig | 2 ++ 1 file changed, 2 insertions(+) diff --git a/arch/arm64/configs/microdroid_defconfig b/arch/arm64/configs/microdroid_defconfig index 6028a2f0ab43..ebf608ba9b1d 100644 --- a/arch/arm64/configs/microdroid_defconfig +++ b/arch/arm64/configs/microdroid_defconfig @@ -145,6 +145,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=y CONFIG_VIRTIO_BALLOON=y CONFIG_STAGING=y