Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -44,4 +44,5 @@
 #include <mm/km.h>
 #include <ddi/ddi.h>
+#include <stdbool.h>
 
 static void bbxm_init(void);
@@ -130,5 +131,5 @@
 static void bbxm_cpu_halt(void)
 {
-	while (1)
+	while (true)
 		;
 }
Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -47,4 +47,5 @@
 #include <ddi/ddi.h>
 #include <mm/km.h>
+#include <stdbool.h>
 
 #define BBONE_MEMORY_START       0x80000000      /* physical */
@@ -159,5 +160,5 @@
 static void bbone_cpu_halt(void)
 {
-	while (1)
+	while (true)
 		;
 }
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -42,4 +42,5 @@
 #include <genarch/srln/srln.h>
 #include <console/console.h>
+#include <stdbool.h>
 #include <sysinfo/sysinfo.h>
 #include <mm/page.h>
@@ -244,5 +245,5 @@
 void icp_cpu_halt(void)
 {
-	while (1);
+	while (true);
 }
 
Index: kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c
===================================================================
--- kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -47,4 +47,5 @@
 #include <abi/fb/visuals.h>
 #include <genarch/srln/srln.h>
+#include <stdbool.h>
 #include <sysinfo/sysinfo.h>
 #include <interrupt.h>
@@ -128,5 +129,5 @@
 static void raspberrypi_cpu_halt(void)
 {
-	while (1) ;
+	while (true) ;
 }
 
Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/arm32/src/userspace.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -34,4 +34,5 @@
  */
 
+#include <stdbool.h>
 #include <userspace.h>
 #include <arch/ras.h>
@@ -114,5 +115,5 @@
 
 	/* unreachable */
-	while (1)
+	while (true)
 		;
 }