| 36,21 → 36,23 |
|---|
| #include <ofw_tree.h> |
| #include "ofwarch.h" |
| #include <align.h> |
| #include <macros.h> |
| #include <string.h> |
| |
| bootinfo_t bootinfo; |
| |
| component_t components[COMPONENTS]; |
| |
| char *release = RELEASE; |
| char *release = STRING(RELEASE); |
| |
| #ifdef REVISION |
| char *revision = ", revision " REVISION; |
| char *revision = ", revision " STRING(REVISION); |
| #else |
| char *revision = ""; |
| #endif |
| |
| #ifdef TIMESTAMP |
| char *timestamp = "\nBuilt on " TIMESTAMP; |
| char *timestamp = "\nBuilt on " STRING(TIMESTAMP); |
| #else |
| char *timestamp = ""; |
| #endif |
| 273,7 → 275,7 |
|---|
| printf("done.\n"); |
| #endif |
| |
| setup_palette(); |
| ofw_setup_palette(); |
| |
| printf("\nBooting the kernel...\n"); |
| jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, |