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

diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index ab789c50c9b435cf9e22ddc55a0c3d2ec4a1e719..12ba1b743efae580ca02f36eef83a375b83bc9bb 100644 (file)
--- 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"