Index: kernel/arch/sparc64/src/sun4u/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sun4u/sparc64.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/sparc64/src/sun4u/sparc64.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -50,4 +50,5 @@
 #include <userspace.h>
 #include <ddi/irq.h>
+#include <stdbool.h>
 #include <str.h>
 #include <sysinfo/sysinfo.h>
@@ -169,5 +170,5 @@
 
 	/* Not reached */
-	while (1)
+	while (true)
 		;
 }
@@ -176,5 +177,5 @@
 {
 	// TODO
-	while (1)
+	while (true)
 		;
 }