Index: kernel/test/debug/mips1.c
===================================================================
--- kernel/test/debug/mips1.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/test/debug/mips1.c	(revision 8af9950eef9c2c7dfd3ef398eb581435b1f15ac1)
@@ -39,8 +39,8 @@
 #include <arch.h>
 
-char * test_mips1(bool quiet)
+char *test_mips1(bool quiet)
 {
 	if (!quiet)
-		printf("You should enter kconsole debug mode now.\n");
+		printf("If kconsole is compiled in, you should enter debug mode now.\n");
 	
 	asm volatile (