From abc74323ac9ecf9534d7ac7139f8aef3911a3edb Mon Sep 17 00:00:00 2001
From: David Sidrane <david_s5@nscdg.com>
Date: Wed, 5 Aug 2015 12:09:36 -1000
Subject: [PATCH] Set margins

CONFIG_ARCH_INTERRUPTSTACK = 500 40 Bytes margin
CONFIG_IDLETHREAD_STACKSIZE= 290 - idel usage 0x20001F78 from 0x20002000 is 136 bytes Margin is 154
CONFIG_USERMAIN_STACKSIZE=800 268 bytes margin 0x200013c8
---
 nuttx-configs/px4io-v2/nsh/defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nuttx-configs/px4io-v2/nsh/defconfig b/nuttx-configs/px4io-v2/nsh/defconfig
index 801e451018..56892e3f93 100755
--- a/nuttx-configs/px4io-v2/nsh/defconfig
+++ b/nuttx-configs/px4io-v2/nsh/defconfig
@@ -276,7 +276,7 @@ CONFIG_BOARD_LOOPSPERMSEC=2000
 CONFIG_DRAM_START=0x20000000
 CONFIG_DRAM_SIZE=0x2000
 CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
-CONFIG_ARCH_INTERRUPTSTACK=400
+CONFIG_ARCH_INTERRUPTSTACK=500
 
 #
 # Boot options