Index: kernel/arch/mips32/src/panic.S
===================================================================
--- kernel/arch/mips32/src/panic.S	(revision c55515574bc591ba52d9f94a2bbf91debeb5943e)
+++ kernel/arch/mips32/src/panic.S	(revision 666f492f56681952d58041f88d5bbb968548091c)
@@ -27,5 +27,5 @@
 #
 
-.text   
+.text
 
 .set noat
@@ -34,8 +34,8 @@
 
 #include <arch/asm/regname.h>
-	
+
 .global panic_printf
 
-/* From printf return directly to halt() */	
+/* From printf return directly to halt() */
 panic_printf:
 	jal printf
@@ -43,6 +43,7 @@
 	j halt
 	nop
-/* This code does not work, god knows why */		
-/*	lui $ra, %hi(halt)
+	
+	/* This code does not work, god knows why
+	lui $ra, %hi(halt)
 	j printf
 	ori $ra, %lo(halt) */
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision c55515574bc591ba52d9f94a2bbf91debeb5943e)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 666f492f56681952d58041f88d5bbb968548091c)
@@ -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);
 }