Enable FPSIMD support on ARM64

Some of the functions implemented in musl can't work without the
ARM64 FPSIMD registers. This will fail unikraft build with musl
when FPSIMD is not enabled.
Enable FPSIMD by default when lib-musl is selected in menuconfig.

Signed-off-by: Razvan Virtan <virtanrazvan@gmail.com>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Reviewed-by: Robert Kuban <robert.kuban@opensynergy.com>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #14

diff --git a/Config.uk b/Config.uk
index 968405817eb2a6b3d7d6ed284cf9416d1a1534db..29a847e59634df57f5957912b5c48f54f28ba744 100644 (file)
--- a/Config.uk
+++ b/Config.uk
@@ -26,6 +26,7 @@ menuconfig LIBMUSL
   select LIBMUSL_ENV
 
   select LIBSYSCALL_SHIM_NOWRAPPER
+  select FPSIMD if ARCH_ARM_64
 
 if LIBMUSL