Subversion Repositories HelenOS-historic

Rev

Rev 1058 | Rev 1075 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
885 decky 1
/*
2
 * Copyright (C) 2005 Martin Decky
3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
29
#include "main.h" 
30
#include "printf.h"
913 decky 31
#include "asm.h"
885 decky 32
 
1058 decky 33
#define KERNEL_START ((void *) &_binary_____________kernel_kernel_bin_start)
34
#define KERNEL_END ((void *) &_binary_____________kernel_kernel_bin_end)
913 decky 35
#define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START)
887 decky 36
 
964 decky 37
memmap_t memmap;
38
 
1058 decky 39
 
40
static void check_align(const void *addr, const char *desc)
41
{
42
    if ((unsigned int) addr % PAGE_SIZE != 0) {
43
        printf("Error: %s not on page boundary\n", desc);
44
        halt();
45
    }
46
}
47
 
48
 
1068 decky 49
static void check_overlap(const void *addr, const char *desc)
50
{
51
    if ((unsigned int) addr < KERNEL_SIZE) {
52
        printf("Error: %s overlaps kernel physical area\n", desc);
53
        halt();
54
    }
55
}
56
 
57
 
885 decky 58
void bootstrap(void)
59
{
953 decky 60
    printf("\nHelenOS PPC Bootloader\n");
885 decky 61
 
1058 decky 62
    check_align(KERNEL_START, "Kernel image");
63
    check_align(&real_mode, "Bootstrap trampoline");
64
    check_align(&trans, "Translation table");
953 decky 65
 
1068 decky 66
    if (!ofw_memmap(&memmap)) {
67
        printf("Error: Unable to get memory map\n");
68
        halt();
69
    }
70
 
1058 decky 71
    void *real_mode_pa = ofw_translate(&real_mode);
72
    void *trans_pa = ofw_translate(&trans);
73
    void *memmap_pa = ofw_translate(&memmap);
74
 
1068 decky 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);
1058 decky 80
    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);
82
    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);
84
 
85
    unsigned int addr;
1068 decky 86
    for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) {
1058 decky 87
        void *pa = ofw_translate(KERNEL_START + addr);
1068 decky 88
        check_overlap(pa, "Kernel image");
1058 decky 89
        trans[addr >> PAGE_WIDTH] = pa;
885 decky 90
    }
91
 
913 decky 92
    printf("Booting the kernel...\n");
1068 decky 93
    jump_to_kernel(memmap_pa, trans_pa, KERNEL_SIZE, real_mode_pa);
885 decky 94
}