diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2015-03-11 12:30:14 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2015-03-11 12:30:14 -0600 |
| commit | 27dbbcf45903e7cb7a079a75e2790f1529d9a5fc (patch) | |
| tree | 33487a5107e6d4c1cfdc8117a340b39ba5f2280a /nuttx/configs/samv71-xult | |
| parent | 882673aaa14078a3eaa4c198fed425c367213fe7 (diff) | |
SAMV71-XULT: Enable 64-bit floating point support
Diffstat (limited to 'nuttx/configs/samv71-xult')
| -rw-r--r-- | nuttx/configs/samv71-xult/nsh/defconfig | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/nuttx/configs/samv71-xult/nsh/defconfig b/nuttx/configs/samv71-xult/nsh/defconfig index b04f15b69b..6d08445870 100644 --- a/nuttx/configs/samv71-xult/nsh/defconfig +++ b/nuttx/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 # |