| 32,6 → 32,7 |
|---|
| #include "_components.h" |
| #include <ofw.h> |
| #include <align.h> |
| #include <macros.h> |
| |
| #define HEAP_GAP 1024000 |
| |
| 72,16 → 73,16 |
|---|
| } |
| } |
| |
| 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 |
| 176,6 → 177,8 |
|---|
| fix_overlap(&trans, &trans_pa, "translation table", &top); |
| fix_overlap(&bootinfo, &bootinfo_pa, "boot info", &top); |
| |
| ofw_setup_palette(); |
| |
| printf("\nBooting the kernel...\n"); |
| jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, real_mode_pa, (void *) bootinfo.screen.addr, bootinfo.screen.scanline); |
| } |