Rev 1131 | Rev 1219 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1131 | Rev 1146 | ||
|---|---|---|---|
| Line 40... | Line 40... | ||
| 40 | 40 | ||
| 41 | 41 | ||
| 42 | static void check_align(const void *addr, const char *desc) |
42 | static void check_align(const void *addr, const char *desc) |
| 43 | { |
43 | { |
| 44 | if ((unsigned int) addr % PAGE_SIZE != 0) { |
44 | if ((unsigned int) addr % PAGE_SIZE != 0) { |
| 45 | printf("Error: %s not on page boundary\n", desc); |
45 | printf("Error: %s not on page boundary, halting.\n", desc); |
| 46 | halt(); |
46 | halt(); |
| 47 | } |
47 | } |
| 48 | } |
48 | } |
| 49 | 49 | ||
| 50 | 50 | ||
| Line 56... | Line 56... | ||
| 56 | void *new_va = (void *) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top); |
56 | void *new_va = (void *) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top); |
| 57 | void *new_pa = (void *) (HEAP_GAP + *top); |
57 | void *new_pa = (void *) (HEAP_GAP + *top); |
| 58 | *top += PAGE_SIZE; |
58 | *top += PAGE_SIZE; |
| 59 | 59 | ||
| 60 | if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) { |
60 | if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) { |
| 61 | printf("Error: Unable to map page aligned memory at %L (physical %L)\n", new_va, new_pa); |
61 | printf("Error: Unable to map page aligned memory at %L (physical %L), halting.\n", new_va, new_pa); |
| 62 | halt(); |
62 | halt(); |
| 63 | } |
63 | } |
| 64 | 64 | ||
| 65 | if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) { |
65 | if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) { |
| 66 | printf("Error: %s cannot be relocated\n", desc); |
66 | printf("Error: %s cannot be relocated, halting.\n", desc); |
| 67 | halt(); |
67 | halt(); |
| 68 | } |
68 | } |
| 69 | 69 | ||
| 70 | printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa); |
70 | printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa); |
| 71 | *pa = new_pa; |
71 | *pa = new_pa; |
| Line 81... | Line 81... | ||
| 81 | check_align(KERNEL_START, "Kernel image"); |
81 | check_align(KERNEL_START, "Kernel image"); |
| 82 | check_align(&real_mode, "Bootstrap trampoline"); |
82 | check_align(&real_mode, "Bootstrap trampoline"); |
| 83 | check_align(&trans, "Translation table"); |
83 | check_align(&trans, "Translation table"); |
| 84 | 84 | ||
| 85 | if (!ofw_memmap(&bootinfo.memmap)) { |
85 | if (!ofw_memmap(&bootinfo.memmap)) { |
| 86 | printf("Error: Unable to get memory map\n"); |
86 | printf("Error: Unable to get memory map, halting.\n"); |
| - | 87 | halt(); |
|
| - | 88 | } |
|
| - | 89 | ||
| - | 90 | if (bootinfo.memmap.total == 0) { |
|
| - | 91 | printf("Error: No memory detected, halting.\n"); |
|
| 87 | halt(); |
92 | halt(); |
| 88 | } |
93 | } |
| 89 | 94 | ||
| 90 | if (!ofw_screen(&bootinfo.screen)) { |
95 | if (!ofw_screen(&bootinfo.screen)) { |
| 91 | printf("Error: Unable to get screen properties\n"); |
96 | printf("Error: Unable to get screen properties, halting.\n"); |
| 92 | halt(); |
97 | halt(); |
| 93 | } |
98 | } |
| 94 | 99 | ||
| 95 | printf("\nDevice statistics\n"); |
100 | printf("\nDevice statistics\n"); |
| 96 | printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
101 | printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
| 97 | 102 | ||
| 98 | void *real_mode_pa = ofw_translate(&real_mode); |
103 | void *real_mode_pa = ofw_translate(&real_mode); |
| 99 | void *trans_pa = ofw_translate(&trans); |
104 | void *trans_pa = ofw_translate(&trans); |
| 100 | void *bootinfo_pa = ofw_translate(&bootinfo); |
105 | void *bootinfo_pa = ofw_translate(&bootinfo); |
| - | 106 | void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17)); |
|
| 101 | 107 | ||
| 102 | printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20); |
108 | printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20); |
| 103 | printf(" kernel image at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE); |
109 | printf(" kernel image at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE); |
| 104 | printf(" boot info at %L (physical %L)\n", &bootinfo, bootinfo_pa); |
110 | printf(" boot info at %L (physical %L)\n", &bootinfo, bootinfo_pa); |
| 105 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
111 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
| Line 116... | Line 122... | ||
| 116 | fix_overlap(&real_mode, &real_mode_pa, "Bootstrap trampoline", &top); |
122 | fix_overlap(&real_mode, &real_mode_pa, "Bootstrap trampoline", &top); |
| 117 | fix_overlap(&trans, &trans_pa, "Translation table", &top); |
123 | fix_overlap(&trans, &trans_pa, "Translation table", &top); |
| 118 | fix_overlap(&bootinfo, &bootinfo_pa, "Boot info", &top); |
124 | fix_overlap(&bootinfo, &bootinfo_pa, "Boot info", &top); |
| 119 | 125 | ||
| 120 | printf("\nBooting the kernel...\n"); |
126 | printf("\nBooting the kernel...\n"); |
| 121 | jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, KERNEL_SIZE, real_mode_pa); |
127 | jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, KERNEL_SIZE, fb, real_mode_pa); |
| 122 | } |
128 | } |