diff --git a/configs/samv71-xult/nsh/defconfig b/configs/samv71-xult/nsh/defconfig index b04f15b69b..6d08445870 100644 --- a/configs/samv71-xult/nsh/defconfig +++ b/configs/samv71-xult/nsh/defconfig @@ -109,10 +109,11 @@ CONFIG_ARCH_CHIP="samv7" # CONFIG_ARMV7M_USEBASEPRI is not set CONFIG_ARCH_HAVE_CMNVECTOR=y CONFIG_ARMV7M_CMNVECTOR=y -# CONFIG_ARMV7M_LAZYFPU is not set +CONFIG_ARMV7M_LAZYFPU=y CONFIG_ARCH_HAVE_FPU=y CONFIG_ARCH_HAVE_DPFPU=y -# CONFIG_ARCH_FPU is not set +CONFIG_ARCH_FPU=y +CONFIG_ARCH_DPFPU=y # CONFIG_ARMV7M_MPU is not set #