Index: arch/mips32/src/debugger.c
===================================================================
--- arch/mips32/src/debugger.c	(revision 80d2bdbb59aff7f143abc484128e57a0c2b47e47)
+++ arch/mips32/src/debugger.c	(revision 5753fbb46440d4f6fb6f2bbc7cfe0f3b24ba615a)
@@ -257,6 +257,6 @@
 	printf("***Type 'exit' to exit kconsole.\n");
 	/* Umm..we should rather set some 'debugstate' here */
-	haltstate = 1;
+	atomic_set(&haltstate,1);
 	kconsole("debug");
-	haltstate = 0;
-}
+	atomic_set(&haltstate,0);
+}