Subversion Repositories HelenOS-historic

Rev

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 
}