Browse Source

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
sbg
David Sidrane 10 years ago committed by Lorenz Meier
parent
commit
abc74323ac
  1. 2
      nuttx-configs/px4io-v2/nsh/defconfig

2
nuttx-configs/px4io-v2/nsh/defconfig

@ -276,7 +276,7 @@ CONFIG_BOARD_LOOPSPERMSEC=2000 @@ -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

Loading…
Cancel
Save