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 | } |