Index: kernel/generic/src/lib/func.c
===================================================================
--- kernel/generic/src/lib/func.c	(revision 3164e3b66669aee9eab5c78c249aed11f429da8a)
+++ kernel/generic/src/lib/func.c	(revision 2b4ae501f83d0bff7b4149ea52f2491c730114c1)
@@ -53,5 +53,5 @@
 void halt()
 {
-#ifdef CONFIG_DEBUG
+#if (defined(CONFIG_DEBUG)) && (defined(CONFIG_KCONSOLE))
 	bool rundebugger = false;
 	
