From 090a1c0bf6c6a4dd01ddcef77898172311fceaef Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 22 Dec 2013 11:21:19 -0600
Subject: [PATCH] Back out part of last change:  Interrupt controller debug
 selection as already there

---
 Kconfig | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/Kconfig b/Kconfig
index 3c7c86c9b7..beb02405dd 100644
--- a/Kconfig
+++ b/Kconfig
@@ -560,14 +560,6 @@ 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