summaryrefslogtreecommitdiff
path: root/nuttx/Kconfig
diff options
context:
space:
mode:
authorGregory Nutt <gnutt@nuttx.org>2013-12-22 11:16:29 -0600
committerGregory Nutt <gnutt@nuttx.org>2013-12-22 11:16:29 -0600
commit350022ad4bbf8068b2f6ae5c4878fd51857f054b (patch)
treea0406b66b8118bceb1c76f1dc31a7d8e172d9eb7 /nuttx/Kconfig
parent7d1e70ca45983e51ee2cf2645baa547f754cbdd6 (diff)
downloadpx4-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/Kconfig8
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