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