[Minios-devel] [UNIKRAFT early RFC PATCH 10/11] lib/ukboot: Enable CONFIG_SMP for arm64

[Jia He <justin.he@xxxxxxx>]

Signed-off-by: Jia He <justin.he@xxxxxxx>
---
 lib/ukboot/Config.uk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/ukboot/Config.uk b/lib/ukboot/Config.uk
index 841a876..16ab723 100644
--- a/lib/ukboot/Config.uk
+++ b/lib/ukboot/Config.uk
@@ -21,4 +21,9 @@ if LIBUKBOOT
        bool "Initialize ukallocbbuddy as allocator"
        default y
        select LIBUKALLOCBBUDDY
+
+       config SMP
+       bool "Support SMP"
+       default y
+       depends on ARCH_ARM_64
 endif
-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel