Rev 1146 | Rev 1369 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1146 | Rev 1219 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | 32 | ||
33 | #define KERNEL_START ((void *) &_binary_____________kernel_kernel_bin_start) |
33 | #define KERNEL_START ((void *) &_binary_____________kernel_kernel_bin_start) |
34 | #define KERNEL_END ((void *) &_binary_____________kernel_kernel_bin_end) |
34 | #define KERNEL_END ((void *) &_binary_____________kernel_kernel_bin_end) |
35 | #define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START) |
35 | #define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START) |
36 | 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) |
|
- | 40 | ||
37 | #define HEAP_GAP 1024000 |
41 | #define HEAP_GAP 1024000 |
38 | 42 | ||
39 | bootinfo_t bootinfo; |
43 | bootinfo_t bootinfo; |
40 | 44 | ||
41 | 45 | ||
Line 77... | Line 81... | ||
77 | void bootstrap(void) |
81 | void bootstrap(void) |
78 | { |
82 | { |
79 | printf("\nHelenOS PPC Bootloader\n"); |
83 | printf("\nHelenOS PPC Bootloader\n"); |
80 | 84 | ||
81 | check_align(KERNEL_START, "Kernel image"); |
85 | check_align(KERNEL_START, "Kernel image"); |
- | 86 | check_align(INIT_START, "Init image"); |
|
82 | check_align(&real_mode, "Bootstrap trampoline"); |
87 | check_align(&real_mode, "Bootstrap trampoline"); |
83 | check_align(&trans, "Translation table"); |
88 | check_align(&trans, "Translation table"); |
84 | 89 | ||
85 | if (!ofw_memmap(&bootinfo.memmap)) { |
90 | if (!ofw_memmap(&bootinfo.memmap)) { |
86 | printf("Error: Unable to get memory map, halting.\n"); |
91 | printf("Error: Unable to get memory map, halting.\n"); |
Line 105... | Line 110... | ||
105 | void *bootinfo_pa = ofw_translate(&bootinfo); |
110 | void *bootinfo_pa = ofw_translate(&bootinfo); |
106 | void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17)); |
111 | void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17)); |
107 | 112 | ||
108 | printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20); |
113 | printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20); |
109 | printf(" kernel image at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE); |
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); |
|
110 | printf(" boot info at %L (physical %L)\n", &bootinfo, bootinfo_pa); |
116 | printf(" boot info structure at %L (physical %L)\n", &bootinfo, bootinfo_pa); |
111 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
117 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
112 | printf(" translation table at %L (physical %L)\n", &trans, trans_pa); |
118 | printf(" translation table at %L (physical %L)\n", &trans, trans_pa); |
113 | 119 | ||
- | 120 | unsigned int top = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) + ALIGN_UP(INIT_SIZE, PAGE_SIZE); |
|
114 | unsigned int top = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE); |
121 | unsigned int kernel_pages = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) >> PAGE_WIDTH; |
- | 122 | unsigned int init_pages = ALIGN_UP(INIT_SIZE, PAGE_SIZE) >> PAGE_WIDTH; |
|
- | 123 | ||
115 | unsigned int addr; |
124 | unsigned int i; |
- | 125 | ||
116 | for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) { |
126 | for (i = 0; i < kernel_pages; i++) { |
117 | void *pa = ofw_translate(KERNEL_START + addr); |
127 | void *pa = ofw_translate(KERNEL_START + (i << PAGE_WIDTH)); |
118 | fix_overlap(KERNEL_START + addr, &pa, "Kernel image", &top); |
128 | fix_overlap(KERNEL_START + (i << PAGE_WIDTH), &pa, "Kernel image", &top); |
- | 129 | trans[i] = pa; |
|
- | 130 | } |
|
- | 131 | ||
- | 132 | for (i = 0; i < init_pages; i++) { |
|
- | 133 | void *pa = ofw_translate(INIT_START + (i << PAGE_WIDTH)); |
|
- | 134 | fix_overlap(INIT_START + (i << PAGE_WIDTH), &pa, "Init image", &top); |
|
119 | trans[addr >> PAGE_WIDTH] = pa; |
135 | trans[kernel_pages + i] = pa; |
- | 136 | if (i == 0) { |
|
- | 137 | bootinfo.init.addr = (void *) ((kernel_pages + i) << PAGE_WIDTH); |
|
- | 138 | bootinfo.init.size = INIT_SIZE; |
|
- | 139 | } |
|
120 | } |
140 | } |
121 | 141 | ||
122 | fix_overlap(&real_mode, &real_mode_pa, "Bootstrap trampoline", &top); |
142 | fix_overlap(&real_mode, &real_mode_pa, "Bootstrap trampoline", &top); |
123 | fix_overlap(&trans, &trans_pa, "Translation table", &top); |
143 | fix_overlap(&trans, &trans_pa, "Translation table", &top); |
124 | fix_overlap(&bootinfo, &bootinfo_pa, "Boot info", &top); |
144 | fix_overlap(&bootinfo, &bootinfo_pa, "Boot info", &top); |
125 | 145 | ||
126 | printf("\nBooting the kernel...\n"); |
146 | printf("\nBooting the kernel...\n"); |
127 | jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, KERNEL_SIZE, fb, real_mode_pa); |
147 | jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, (kernel_pages + init_pages) << PAGE_WIDTH, fb, real_mode_pa); |
128 | } |
148 | } |