Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/mips32/src/mips32.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -42,4 +42,5 @@
 #include <mem.h>
 #include <userspace.h>
+#include <stdbool.h>
 #include <syscall/syscall.h>
 #include <sysinfo/sysinfo.h>
@@ -172,5 +173,5 @@
 	    (uintptr_t) kernel_uarg->uspace_entry);
 
-	while (1)
+	while (true)
 		;
 }
@@ -195,5 +196,5 @@
 {
 	___halt();
-	while (1)
+	while (true)
 		;
 }