Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/mips32/src/debugger.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -153,5 +153,5 @@
 
 	/* Check, that the breakpoints do not conflict */
-	for (i=0; i<BKPOINTS_MAX; i++) {
+	for (i = 0; i < BKPOINTS_MAX; i++) {
 		if (breakpoints[i].address == (uintptr_t)argv->intval) {
 			printf("Duplicate breakpoint %d.\n", i);
@@ -315,5 +315,5 @@
 		/* Reinst only breakpoint */
 		if ((breakpoints[i].flags & BKPOINT_REINST) \
-		    && (fireaddr ==breakpoints[i].address+sizeof(unative_t))) {
+		    && (fireaddr == breakpoints[i].address + sizeof(unative_t))) {
 			cur = &breakpoints[i];
 			break;
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/mips32/src/exception.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -162,5 +162,5 @@
 				 */
 #ifdef CONFIG_DEBUG
-				printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i);
+				printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, i);
 #endif
 			}