Rev 1219 | Rev 1372 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1219 | Rev 1369 | ||
|---|---|---|---|
| Line 27... | Line 27... | ||
| 27 | */ |
27 | */ |
| 28 | 28 | ||
| 29 | #include "main.h" |
29 | #include "main.h" |
| 30 | #include "printf.h" |
30 | #include "printf.h" |
| 31 | #include "asm.h" |
31 | #include "asm.h" |
| 32 | - | ||
| 33 | #define KERNEL_START ((void *) &_binary_____________kernel_kernel_bin_start) |
- | |
| 34 | #define KERNEL_END ((void *) &_binary_____________kernel_kernel_bin_end) |
- | |
| 35 | #define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START) |
- | |
| 36 | - | ||
| 37 | #define INIT_START ((void *) &_binary_____________uspace_init_init_start) |
- | |
| 38 | #define INIT_END ((void *) &_binary_____________uspace_init_init_end) |
- | |
| 39 | #define INIT_SIZE ((unsigned int) INIT_END - (unsigned int) INIT_START) |
32 | #include "_components.h" |
| 40 | 33 | ||
| 41 | #define HEAP_GAP 1024000 |
34 | #define HEAP_GAP 1024000 |
| 42 | 35 | ||
| 43 | bootinfo_t bootinfo; |
36 | bootinfo_t bootinfo; |
| 44 | 37 | ||
| Line 80... | Line 73... | ||
| 80 | 73 | ||
| 81 | void bootstrap(void) |
74 | void bootstrap(void) |
| 82 | { |
75 | { |
| 83 | printf("\nHelenOS PPC Bootloader\n"); |
76 | printf("\nHelenOS PPC Bootloader\n"); |
| 84 | 77 | ||
| - | 78 | init_components(); |
|
| - | 79 | ||
| - | 80 | unsigned int i; |
|
| - | 81 | ||
| 85 | check_align(KERNEL_START, "Kernel image"); |
82 | for (i = 0; i < COMPONENTS; i++) |
| 86 | check_align(INIT_START, "Init image"); |
83 | check_align(components[i].start, components[i].name); |
| - | 84 | ||
| 87 | check_align(&real_mode, "Bootstrap trampoline"); |
85 | check_align(&real_mode, "bootstrap trampoline"); |
| 88 | check_align(&trans, "Translation table"); |
86 | check_align(&trans, "translation table"); |
| 89 | 87 | ||
| 90 | if (!ofw_memmap(&bootinfo.memmap)) { |
88 | if (!ofw_memmap(&bootinfo.memmap)) { |
| 91 | printf("Error: Unable to get memory map, halting.\n"); |
89 | printf("Error: unable to get memory map, halting.\n"); |
| 92 | halt(); |
90 | halt(); |
| 93 | } |
91 | } |
| 94 | 92 | ||
| 95 | if (bootinfo.memmap.total == 0) { |
93 | if (bootinfo.memmap.total == 0) { |
| 96 | printf("Error: No memory detected, halting.\n"); |
94 | printf("Error: no memory detected, halting.\n"); |
| 97 | halt(); |
95 | halt(); |
| 98 | } |
96 | } |
| 99 | 97 | ||
| 100 | if (!ofw_screen(&bootinfo.screen)) { |
98 | if (!ofw_screen(&bootinfo.screen)) { |
| 101 | printf("Error: Unable to get screen properties, halting.\n"); |
99 | printf("Error: unable to get screen properties, halting.\n"); |
| 102 | halt(); |
100 | halt(); |
| 103 | } |
101 | } |
| 104 | 102 | ||
| 105 | printf("\nDevice statistics\n"); |
103 | printf("\nDevice statistics\n"); |
| 106 | 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); |
104 | 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); |
| Line 109... | Line 107... | ||
| 109 | void *trans_pa = ofw_translate(&trans); |
107 | void *trans_pa = ofw_translate(&trans); |
| 110 | void *bootinfo_pa = ofw_translate(&bootinfo); |
108 | void *bootinfo_pa = ofw_translate(&bootinfo); |
| 111 | void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17)); |
109 | void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17)); |
| 112 | 110 | ||
| 113 | printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20); |
111 | printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20); |
| 114 | printf(" kernel image at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE); |
- | |
| 115 | printf(" init image at %L (size %d bytes)\n", INIT_START, INIT_SIZE); |
- | |
| 116 | printf(" boot info structure at %L (physical %L)\n", &bootinfo, bootinfo_pa); |
112 | printf(" %L: boot info structure (physical %L)\n", &bootinfo, bootinfo_pa); |
| 117 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
113 | printf(" %L: bootstrap trampoline (physical %L)\n", &real_mode, real_mode_pa); |
| 118 | printf(" translation table at %L (physical %L)\n", &trans, trans_pa); |
114 | printf(" %L: translation table (physical %L)\n", &trans, trans_pa); |
| - | 115 | for (i = 0; i < COMPONENTS; i++) |
|
| - | 116 | printf(" %L: %s image (size %d bytes)\n", components[i].start, components[i].name, components[i].size); |
|
| 119 | 117 | ||
| 120 | unsigned int top = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) + ALIGN_UP(INIT_SIZE, PAGE_SIZE); |
118 | unsigned int top = 0; |
| 121 | unsigned int kernel_pages = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) >> PAGE_WIDTH; |
119 | for (i = 0; i < COMPONENTS; i++) |
| 122 | unsigned int init_pages = ALIGN_UP(INIT_SIZE, PAGE_SIZE) >> PAGE_WIDTH; |
120 | top += ALIGN_UP(components[i].size, PAGE_SIZE); |
| 123 | 121 | ||
| 124 | unsigned int i; |
122 | unsigned int pages = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) >> PAGE_WIDTH; |
| 125 | 123 | ||
| 126 | for (i = 0; i < kernel_pages; i++) { |
124 | for (i = 0; i < pages; i++) { |
| 127 | void *pa = ofw_translate(KERNEL_START + (i << PAGE_WIDTH)); |
125 | void *pa = ofw_translate(KERNEL_START + (i << PAGE_WIDTH)); |
| 128 | fix_overlap(KERNEL_START + (i << PAGE_WIDTH), &pa, "Kernel image", &top); |
126 | fix_overlap(KERNEL_START + (i << PAGE_WIDTH), &pa, "kernel", &top); |
| 129 | trans[i] = pa; |
127 | trans[i] = pa; |
| 130 | } |
128 | } |
| 131 | 129 | ||
| - | 130 | bootinfo.taskmap.count = 0; |
|
| - | 131 | for (i = 1; i < COMPONENTS; i++) { |
|
| - | 132 | unsigned int component_pages = ALIGN_UP(components[i].size, PAGE_SIZE) >> PAGE_WIDTH; |
|
| - | 133 | unsigned int j; |
|
| - | 134 | ||
| 132 | for (i = 0; i < init_pages; i++) { |
135 | for (j = 0; j < component_pages; j++) { |
| 133 | void *pa = ofw_translate(INIT_START + (i << PAGE_WIDTH)); |
136 | void *pa = ofw_translate(components[i].start + (j << PAGE_WIDTH)); |
| 134 | fix_overlap(INIT_START + (i << PAGE_WIDTH), &pa, "Init image", &top); |
137 | fix_overlap(components[i].start + (j << PAGE_WIDTH), &pa, components[i].name, &top); |
| 135 | trans[kernel_pages + i] = pa; |
138 | trans[pages + j] = pa; |
| 136 | if (i == 0) { |
139 | if (j == 0) { |
| 137 | bootinfo.init.addr = (void *) ((kernel_pages + i) << PAGE_WIDTH); |
140 | bootinfo.taskmap.tasks[bootinfo.taskmap.count].addr = (void *) (pages << PAGE_WIDTH); |
| - | 141 | bootinfo.taskmap.tasks[bootinfo.taskmap.count].size = components[i].size; |
|
| 138 | bootinfo.init.size = INIT_SIZE; |
142 | bootinfo.taskmap.count++; |
| - | 143 | } |
|
| 139 | } |
144 | } |
| - | 145 | ||
| - | 146 | pages += component_pages; |
|
| 140 | } |
147 | } |
| 141 | 148 | ||
| 142 | fix_overlap(&real_mode, &real_mode_pa, "Bootstrap trampoline", &top); |
149 | fix_overlap(&real_mode, &real_mode_pa, "bootstrap trampoline", &top); |
| 143 | fix_overlap(&trans, &trans_pa, "Translation table", &top); |
150 | fix_overlap(&trans, &trans_pa, "translation table", &top); |
| 144 | fix_overlap(&bootinfo, &bootinfo_pa, "Boot info", &top); |
151 | fix_overlap(&bootinfo, &bootinfo_pa, "boot info", &top); |
| 145 | 152 | ||
| 146 | printf("\nBooting the kernel...\n"); |
153 | printf("\nBooting the kernel...\n"); |
| 147 | jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, (kernel_pages + init_pages) << PAGE_WIDTH, fb, real_mode_pa); |
154 | jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, fb, real_mode_pa); |
| 148 | } |
155 | } |