Subversion Repositories HelenOS-historic

Rev

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
}