diff --git a/Kconfig b/Kconfig
index 6625a3914e..9fc646af0d 100644
--- a/Kconfig
+++ b/Kconfig
@@ -601,6 +601,11 @@ config ARCH_CHIP_DEBUG_H
 	---help---
 		The debug.h under include/arch/chip contains architecture dependent debugging primitives
 
+config ARCH_BOARD_DEBUG_H
+	bool "board debug.h"
+	---help---
+		The debug.h under include/arch/board contains board dependent debugging primitives
+
 endchoice # debug.h selection
 
 endmenu # Customize Header Files
diff --git a/include/debug.h b/include/debug.h
index 538b5eaa48..2fd5ab395e 100644
--- a/include/debug.h
+++ b/include/debug.h
@@ -34,6 +34,9 @@
 #ifdef CONFIG_ARCH_CHIP_DEBUG_H
 #  include <arch/chip/debug.h>
 #endif
+#ifdef CONFIG_ARCH_BOARD_DEBUG_H
+#  include <arch/board/debug.h>
+#endif
 
 #include <syslog.h>
 #include <sys/uio.h>