Changes in boot/arch/ppc32/src/main.c [b97b348:4872160] in mainline

File:

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

boot/arch/ppc32/src/main.c

@@ -167 +167 @@
         
         printf("Booting the kernel...\n");
+        ofw_quiesce();
         jump_to_kernel(bootinfo_pa, transtable_pa, pages, real_mode_pa);
 }