Changes in kernel/arch/ppc32/src/ppc32.c [88e43bc:bab75df6] in mainline

File:

• kernel/arch/ppc32/src/ppc32.c (modified) (1 diff)

kernel/arch/ppc32/src/ppc32.c

@@ -297 +297 @@
             (uintptr_t) kernel_uarg->uspace_entry);
 
-        unreachable();
+        /* Unreachable */
+        while (true)
+                ;
 }