diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2015-01-24 06:03:39 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2015-01-24 06:03:39 -0600 |
| commit | ec6b436dc9afec0d39ce52c3e589a4e37bc1facd (patch) | |
| tree | f49f588fd7fb77f9799fc666da6246f35efb68b6 /nuttx/Kconfig | |
| parent | dc57c53f080c460896db6309f98511f592c149ce (diff) | |
| download | px4-nuttx-ec6b436dc9afec0d39ce52c3e589a4e37bc1facd.tar.gz px4-nuttx-ec6b436dc9afec0d39ce52c3e589a4e37bc1facd.tar.bz2 px4-nuttx-ec6b436dc9afec0d39ce52c3e589a4e37bc1facd.zip | |
Add CONFIG_STACK_COLORATION that does the same thing as CONFIG_DEBUG_STACK but without enabling debug. From David Sidrane
Diffstat (limited to 'nuttx/Kconfig')
| -rw-r--r-- | nuttx/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/nuttx/Kconfig b/nuttx/Kconfig index 8bfce7a38..82a3f4b73 100644 --- a/nuttx/Kconfig +++ b/nuttx/Kconfig @@ -675,6 +675,15 @@ config DEBUG_WATCHDOG endif # DEBUG +config STACK_COLORATION + bool "Stack coloration" + default n + depends on ARCH_HAVE_STACKCHECK && !DEBUG_STACK + ---help--- + Enable stack coloration to initialize the stack memory to the value + of STACK_COLOR and use the stack checking API in a non debug build. + Only supported by a few architectures. + config DEBUG_SYMBOLS bool "Generate Debug Symbols" default n |