From b587ebaed5eb460e763b88cb141adf20f062da36 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 11 Mar 2015 12:30:14 -0600
Subject: [PATCH] SAMV71-XULT: Enable 64-bit floating point support

---
 configs/samv71-xult/nsh/defconfig | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/configs/samv71-xult/nsh/defconfig b/configs/samv71-xult/nsh/defconfig
index b04f15b69bf..6d084458700 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
 
 #