Changes in kernel/arch/ppc32/src/ppc32.c [666f492:4872160] in mainline

File:

• kernel/arch/ppc32/src/ppc32.c (modified) (3 diffs)

kernel/arch/ppc32/src/ppc32.c

@@ -201 +201 @@
                 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 +223 @@
                         }
                 }
-                
+
                 /*
                  * This is the necessary evil until the userspace driver is entirely
@@ -284 +284 @@
 {
         // TODO
-        while (true);
+        while (1);
 }