Changes in boot/arch/sparc32/src/main.c [b6b02c0:ef9a2a8] in mainline

File:

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

boot/arch/sparc32/src/main.c

@@ -120 +120 @@
 
         printf("Booting the kernel ... \n");
-        jump_to_kernel((void *) PA2KA(BOOT_OFFSET));
+        jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);
 }