Changes in boot/arch/ppc32/src/main.c [4872160:b97b348] 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);
 }