plat/xen: Include fp_arm64.c in FPSIMD Xen ARM64 builds

`fp_arm64.c` implements `fpsimd_save_state()` and
`fpsimd_restore_state()` that are required by FPSIMD ARM64 builds. The
file was not included in the build rules (in `Makefile.uk`) resulting in
a build error.

Fix the build error by including `fp_arm64.c` in the Xen build rules.
This is similar to its inclusion in the KVM build rules.

GitHub-Fixes: #1522
Signed-off-by: Razvan Deaconescu <razvand@unikraft.io>
Reviewed-by: Oleksii Moisieiev <oleksii_moisieiev@epam.com>
Approved-by: Michalis Pappas <michalis@unikraft.io>
GitHub-Closes: #1523

diff --git a/plat/xen/Makefile.uk b/plat/xen/Makefile.uk
index 0aea07d15e01241b93db246934f133e8e0580195..45fd600e97a7faaf37c8e124cd90047cadb516aa 100644 (file)
--- a/plat/xen/Makefile.uk
+++ b/plat/xen/Makefile.uk
@@ -96,6 +96,9 @@ LIBXENPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/traps_arm64.
 LIBXENPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/time.c
 LIBXENPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/generic_timer.c
 
+ifeq ($(CONFIG_FPSIMD),y)
+LIBXENPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/fp_arm64.c
+endif
 ifeq ($(CONFIG_HAVE_SMP),y)
 LIBXENPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/lcpu_start.S
 endif