[UNIKRAFT PATCH v5 6/7] arch/arm64: Fix -mfpu=none when not supporting fpsimd

[Jia He <justin.he@xxxxxxx>]

There is no -mfpu=none compilation flag for gcc on arm. Typically we
don't disable hw support for fp, merely using -mgeneral-regs-only to
check it during compilation.

Signed-off-by: Jia He <justin.he@xxxxxxx>
Reviewed-by: Sharan Santhanam <sharan.santhanam@xxxxxxxxx>
---
 arch/arm/arm64/Makefile.uk | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/arch/arm/arm64/Makefile.uk b/arch/arm/arm64/Makefile.uk
index a90305a..f770bd0 100644
--- a/arch/arm/arm64/Makefile.uk
+++ b/arch/arm/arm64/Makefile.uk
@@ -9,10 +9,8 @@ else
 ARCHFLAGS     += -D__ARM_64__ -mgeneral-regs-only
 endif
 
-ISR_ARCHFLAGS += -D__ARM_64__ -mgeneral-regs-only
-
 # Disable FPU for trap/exception/interrupt handlers
-ISR_ARCHFLAGS += -mfpu=none
+ISR_ARCHFLAGS += -D__ARM_64__ -mgeneral-regs-only
 
 CINCLUDES   += -I$(CONFIG_UK_BASE)/arch/arm/arm64/include
 ASINCLUDES  += -I$(CONFIG_UK_BASE)/arch/arm/arm64/include
-- 
2.17.1