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