[UNIKRAFT/LIBNEWLIB PATCH] Make sure floating point is enabled when ARM64 is selected.

[Felipe Huici <felipe.huici@xxxxxxxxx>]

newlib requires floating point support. This patch ensures that
floating point is enabled whenever ARM64 is selected as the
architecture.

Signed-off-by: Felipe Huici <felipe.huici@xxxxxxxxx>
---
 Config.uk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Config.uk b/Config.uk
index ab127f0..533c87c 100644
--- a/Config.uk
+++ b/Config.uk
@@ -13,6 +13,7 @@ menuconfig LIBNEWLIBC
        select LIBVFSCORE
        select LIBPOSIX_PROCESS
        select LIBPOSIX_USER
+       select FPSIMD if ARCH_ARM_64
 
 if LIBNEWLIBC
        config LIBNEWLIBC_WANT_IO_C99_FORMATS
-- 
2.20.1