1 files changed, 10 insertions, 0 deletions

diff --git a/arch/avr32/Kconfig b/arch/avr32/Kconfig
index 516015b3293b..e34e2c9c94cb 100644
--- a/arch/avr32/Kconfig
+++ b/arch/avr32/Kconfig
@@ -170,6 +170,16 @@ config OWNERSHIP_TRACE
           enabling Nexus-compliant debuggers to keep track of the PID of the
           currently executing task.
 
+config NMI_DEBUGGING
+        bool "NMI Debugging"
+        default n
+        help
+          Say Y here and pass the nmi_debug command-line parameter to
+          the kernel to turn on NMI debugging. Depending on the value
+          of the nmi_debug option, various pieces of information will
+          be dumped to the console when a Non-Maskable Interrupt
+          happens.
+
 # FPU emulation goes here
 
 source "kernel/Kconfig.hz"