Subversion Repositories HelenOS-historic

Rev

Rev 1068 | Rev 1131 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1068 Rev 1075
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 HEAP_GAP 1024000
-
 
38
 
37
memmap_t memmap;
39
memmap_t memmap;
38
 
40
 
39
 
41
 
40
static void check_align(const void *addr, const char *desc)
42
static void check_align(const void *addr, const char *desc)
41
{
43
{
Line 44... Line 46...
44
        halt();
46
        halt();
45
    }
47
    }
46
}
48
}
47
 
49
 
48
 
50
 
49
static void check_overlap(const void *addr, const char *desc)
51
static void fix_overlap(void *va, void **pa, const char *desc, unsigned int *top)
50
{
52
{
51
    if ((unsigned int) addr < KERNEL_SIZE) {
53
    if ((unsigned int) *pa + PAGE_SIZE < *top) {
52
        printf("Error: %s overlaps kernel physical area\n", desc);
54
        printf("Warning: %s overlaps kernel physical area\n", desc);
-
 
55
       
-
 
56
        void *new_va = (void *) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top);
-
 
57
        void *new_pa = (void *) (HEAP_GAP + *top);
-
 
58
        *top += PAGE_SIZE;
-
 
59
       
-
 
60
        if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) {
-
 
61
            printf("Error: Unable to map page aligned memory at %L (physical %L)\n", new_va, new_pa);
53
        halt();
62
            halt();
-
 
63
        }
-
 
64
       
-
 
65
        if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) {
-
 
66
            printf("Error: %s cannot be relocated\n", desc);
-
 
67
            halt();
-
 
68
        }
-
 
69
       
-
 
70
        printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa);
-
 
71
        *pa = new_pa;
-
 
72
        memcpy(new_va, va, PAGE_SIZE);
54
    }
73
    }
55
}
74
}
56
 
75
 
57
 
76
 
58
void bootstrap(void)
77
void bootstrap(void)
Line 70... Line 89...
70
   
89
   
71
    void *real_mode_pa = ofw_translate(&real_mode);
90
    void *real_mode_pa = ofw_translate(&real_mode);
72
    void *trans_pa = ofw_translate(&trans);
91
    void *trans_pa = ofw_translate(&trans);
73
    void *memmap_pa = ofw_translate(&memmap);
92
    void *memmap_pa = ofw_translate(&memmap);
74
   
93
   
75
    check_overlap(real_mode_pa, "Bootstrap trampoline");
-
 
76
    check_overlap(trans_pa, "Translation table");
-
 
77
    check_overlap(memmap_pa, "Memory map");
-
 
78
   
-
 
79
    printf("Memory statistics (total %d MB)\n", memmap.total >> 20);
94
    printf("Memory statistics (total %d MB)\n", memmap.total >> 20);
80
    printf(" kernel image         at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE);
95
    printf(" kernel image         at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE);
81
    printf(" memory map           at %L (physical %L)\n", &memmap, memmap_pa);
96
    printf(" memory map           at %L (physical %L)\n", &memmap, memmap_pa);
82
    printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa);
97
    printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa);
83
    printf(" translation table    at %L (physical %L)\n", &trans, trans_pa);
98
    printf(" translation table    at %L (physical %L)\n", &trans, trans_pa);
84
   
99
   
-
 
100
    unsigned int top = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE);
85
    unsigned int addr;
101
    unsigned int addr;
86
    for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) {
102
    for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) {
87
        void *pa = ofw_translate(KERNEL_START + addr);
103
        void *pa = ofw_translate(KERNEL_START + addr);
88
        check_overlap(pa, "Kernel image");
104
        fix_overlap(KERNEL_START + addr, &pa, "Kernel image", &top);
89
        trans[addr >> PAGE_WIDTH] = pa;
105
        trans[addr >> PAGE_WIDTH] = pa;
90
    }
106
    }
91
   
107
   
-
 
108
    fix_overlap(&real_mode, &real_mode_pa, "Bootstrap trampoline", &top);
-
 
109
    fix_overlap(&trans, &trans_pa, "Translation table", &top);
-
 
110
    fix_overlap(&memmap, &memmap_pa, "Memory map", &top);
-
 
111
   
92
    printf("Booting the kernel...\n");
112
    printf("Booting the kernel...\n");
93
    jump_to_kernel(memmap_pa, trans_pa, KERNEL_SIZE, real_mode_pa);
113
    jump_to_kernel(memmap_pa, trans_pa, KERNEL_SIZE, real_mode_pa);
94
}
114
}