plat/kvm: Enable Firecracker on arm64

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #989

diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index ef16859efe8928dfb303c4a484e4b21a22ec4634..097536458f7082d146fc94fc1097688458fe40de 100644 (file)
--- a/plat/kvm/Config.uk
+++ b/plat/kvm/Config.uk
@@ -26,8 +26,7 @@ config KVM_BOOT_PROTO_MULTIBOOT
 config KVM_BOOT_PROTO_LXBOOT
        bool "Lxboot"
        default y
-       depends on (!KVM_VMM_QEMU && KVM_VMM_FIRECRACKER && ARCH_X86_64) || \
-                  (KVM_VMM_QEMU && ARCH_ARM_64)
+       depends on KVM_VMM_FIRECRACKER || (KVM_VMM_QEMU && ARCH_ARM_64)
        help
                Linux 64-bit Boot Protocol
 
@@ -92,7 +91,7 @@ config KVM_VMM_QEMU
 config KVM_VMM_FIRECRACKER
        bool "Firecracker"
        select KVM_BOOT_PROTO_LXBOOT
-       depends on ARCH_X86_64
+       depends on ARCH_X86_64 || ARCH_ARM_64
 
 endchoice