Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 4872160f9c176d257f1757469d1adec8033d95f9)
+++ kernel/arch/ppc32/src/ppc32.c	(revision f0e1ac989d9c3e0804ca4f3bba31bfff67ba485c)
@@ -201,5 +201,5 @@
 		pic_init(assigned_address[0].addr, PAGE_SIZE, &pic_cir,
 		    &pic_cir_arg);
-
+		
 #ifdef CONFIG_MAC_KBD
 		uintptr_t pa = assigned_address[0].addr + 0x16000;
@@ -223,5 +223,5 @@
 			}
 		}
-
+		
 		/*
 		 * This is the necessary evil until the userspace driver is entirely
@@ -284,5 +284,5 @@
 {
 	// TODO
-	while (1);
+	while (true);
 }