Rev 3823 | Rev 3883 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3823 | Rev 3861 | ||
---|---|---|---|
Line 267... | Line 267... | ||
267 | if (!ofw_cpu()) |
267 | if (!ofw_cpu()) |
268 | printf("Error: unable to get CPU properties\n"); |
268 | printf("Error: unable to get CPU properties\n"); |
269 | printf("done.\n"); |
269 | printf("done.\n"); |
270 | #endif |
270 | #endif |
271 | 271 | ||
272 | setup_palette(); |
272 | ofw_setup_palette(); |
273 | 273 | ||
274 | printf("\nBooting the kernel...\n"); |
274 | printf("\nBooting the kernel...\n"); |
275 | jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, |
275 | jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, |
276 | bootinfo.physmem_start | BSP_PROCESSOR, &bootinfo, |
276 | bootinfo.physmem_start | BSP_PROCESSOR, &bootinfo, |
277 | sizeof(bootinfo)); |
277 | sizeof(bootinfo)); |