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)); |