px4-firmware/nuttx-configs/px4io-v2
David Sidrane abc74323ac 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
2015-08-19 11:42:56 +02:00
..
include nuttx-configs fix code style 2015-03-19 23:49:36 +01:00
nsh Set margins 2015-08-19 11:42:56 +02:00
scripts Clean out unused trash from the NuttX configs. 2013-08-02 23:11:04 -07:00
src nuttx-configs fix code style 2015-03-19 23:49:36 +01:00