Changes in kernel/arch/ppc32/src/ppc32.c [4872160:666f492] 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 (1);
+        while (true);
 }