Index: boot/arch/sparc32/src/asm.S
===================================================================
--- boot/arch/sparc32/src/asm.S	(revision b6b02c0fa1670aace09bf1d3f51ce99017e6230e)
+++ boot/arch/sparc32/src/asm.S	(revision ef9a2a897b47371cfb43b8b8bb95ad044136eccf)
@@ -53,4 +53,5 @@
 jump_to_kernel:
 	set 0x80a00000, %l0
+	
 	jmp %l0
 	nop
Index: boot/arch/sparc32/src/main.c
===================================================================
--- boot/arch/sparc32/src/main.c	(revision b6b02c0fa1670aace09bf1d3f51ce99017e6230e)
+++ boot/arch/sparc32/src/main.c	(revision ef9a2a897b47371cfb43b8b8bb95ad044136eccf)
@@ -120,5 +120,5 @@
 
 	printf("Booting the kernel ... \n");
-	jump_to_kernel((void *) PA2KA(BOOT_OFFSET));
+	jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);
 }
 
