ANDROID: ARM64: microdroid_defconfig: Enable PKVM guest driver
Bug: 357781595 Change-Id: If0f491fb2fc47a40c26e36b201a0be80fba2a546 Signed-off-by: Keir Fraser <keirf@google.com>
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user