ARC: [hsdk]: Enable FPU_SAVE_RESTORE

HSDK has hardware floating point and the common use case is with
glibc+hf so enable that as default.

Signed-off-by: Vineet Gupta <vgupta@synopsys.com>

diff --git a/arch/arc/plat-hsdk/Kconfig b/arch/arc/plat-hsdk/Kconfig
index 6b5c545..a2d10c2 100644 (file)
--- a/arch/arc/plat-hsdk/Kconfig
+++ b/arch/arc/plat-hsdk/Kconfig
@@ -7,6 +7,7 @@ menuconfig ARC_SOC_HSDK
        depends on ISA_ARCV2
        select ARC_HAS_ACCL_REGS
        select ARC_IRQ_NO_AUTOSAVE
+       select ARC_FPU_SAVE_RESTORE
        select CLK_HSDK
        select RESET_CONTROLLER
        select RESET_HSDK