diff options
-rw-r--r-- | nuttx/configs/px4fmu-v1/nsh/defconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/configs/px4fmu-v1/nsh/defconfig b/nuttx/configs/px4fmu-v1/nsh/defconfig index f75fd0d19..3470034f4 100644 --- a/nuttx/configs/px4fmu-v1/nsh/defconfig +++ b/nuttx/configs/px4fmu-v1/nsh/defconfig @@ -77,6 +77,7 @@ CONFIG_ARCH="arm" CONFIG_ARCH_CHIP_STM32=y # CONFIG_ARCH_CHIP_STR71X is not set CONFIG_ARCH_CORTEXM4=y +CONFIG_ARCH_HAVE_FPU=y CONFIG_ARCH_FAMILY="armv7-m" CONFIG_ARCH_CHIP="stm32" CONFIG_ARMV7M_USEBASEPRI=y |