diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2013-12-22 11:16:29 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2013-12-22 11:16:29 -0600 |
commit | 350022ad4bbf8068b2f6ae5c4878fd51857f054b (patch) | |
tree | a0406b66b8118bceb1c76f1dc31a7d8e172d9eb7 /nuttx/Kconfig | |
parent | 7d1e70ca45983e51ee2cf2645baa547f754cbdd6 (diff) | |
download | px4-nuttx-350022ad4bbf8068b2f6ae5c4878fd51857f054b.tar.gz px4-nuttx-350022ad4bbf8068b2f6ae5c4878fd51857f054b.tar.bz2 px4-nuttx-350022ad4bbf8068b2f6ae5c4878fd51857f054b.zip |
Add logic to configure interrupt controller debug; Fix high priority, nested interrupt build problems
Diffstat (limited to 'nuttx/Kconfig')
-rw-r--r-- | nuttx/Kconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/nuttx/Kconfig b/nuttx/Kconfig index beb02405d..3c7c86c9b 100644 --- a/nuttx/Kconfig +++ b/nuttx/Kconfig @@ -560,6 +560,14 @@ config DEBUG_AUDIO device drivers. (disabled by default). Support for this debug option is architecture-specific and may not be available for some MCUs. +config DEBUG_IRQ + bool "Interrupt Controller Debug Output" + default n + ---help--- + Enable debug SYSLOG output from logic that managers the interrupt + control logic (disabled by default). Support for this debug option + is architecture-specific and may not be available for some MCUs. + endif config DEBUG_SYMBOLS |