From 31bcc48776be55f94d3f2de408b768de4cdeaa5a Mon Sep 17 00:00:00 2001
From: Stefan Jumarea <stefanjumarea02@gmail.com>
Date: Wed, 17 May 2023 11:15:32 +0300
Subject: [PATCH] plat/kvm: Add vmm option for arm64

Add the option to choose a VMM when building for arm64. There are build
options that depend on the chosen VMM (i.e. PCI support), so the VMM
should be selected no matter what the chosen architecture is.

Signed-off-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #900
---
 plat/kvm/Config.uk | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index ab789c50c..12ba1b743 100644
--- a/plat/kvm/Config.uk
+++ b/plat/kvm/Config.uk
@@ -12,8 +12,6 @@ menuconfig PLAT_KVM
 
 if (PLAT_KVM)
 
-if (ARCH_X86_64)
-
 config KVM_BOOT_PROTO_MULTIBOOT
 	bool
 
@@ -31,9 +29,9 @@ config KVM_VMM_QEMU
 config KVM_VMM_FIRECRACKER
 	bool "Firecracker"
 	select KVM_BOOT_PROTO_LXBOOT
+	depends on ARCH_X86_64
 
 endchoice
-endif
 
 menu "Console Options"
 
-- 
2.39.5