Rev 1058 | Rev 1075 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1058 | Rev 1068 | ||
---|---|---|---|
Line 44... | Line 44... | ||
44 | halt(); |
44 | halt(); |
45 | } |
45 | } |
46 | } |
46 | } |
47 | 47 | ||
48 | 48 | ||
- | 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 | ||
49 | void bootstrap(void) |
58 | void bootstrap(void) |
50 | { |
59 | { |
51 | printf("\nHelenOS PPC Bootloader\n"); |
60 | printf("\nHelenOS PPC Bootloader\n"); |
52 | 61 | ||
53 | check_align(KERNEL_START, "Kernel image"); |
62 | check_align(KERNEL_START, "Kernel image"); |
54 | check_align(&real_mode, "Bootstrap trampoline"); |
63 | check_align(&real_mode, "Bootstrap trampoline"); |
55 | check_align(&trans, "Translation table"); |
64 | check_align(&trans, "Translation table"); |
56 | 65 | ||
- | 66 | if (!ofw_memmap(&memmap)) { |
|
- | 67 | printf("Error: Unable to get memory map\n"); |
|
- | 68 | halt(); |
|
- | 69 | } |
|
- | 70 | ||
57 | void *real_mode_pa = ofw_translate(&real_mode); |
71 | void *real_mode_pa = ofw_translate(&real_mode); |
58 | void *trans_pa = ofw_translate(&trans); |
72 | void *trans_pa = ofw_translate(&trans); |
59 | void *memmap_pa = ofw_translate(&memmap); |
73 | void *memmap_pa = ofw_translate(&memmap); |
60 | 74 | ||
- | 75 | check_overlap(real_mode_pa, "Bootstrap trampoline"); |
|
- | 76 | check_overlap(trans_pa, "Translation table"); |
|
- | 77 | check_overlap(memmap_pa, "Memory map"); |
|
- | 78 | ||
61 | printf("Memory statistics\n"); |
79 | printf("Memory statistics (total %d MB)\n", memmap.total >> 20); |
62 | printf(" kernel image at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE); |
80 | printf(" kernel image at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE); |
63 | printf(" memory map at %L (physical %L)\n", &memmap, memmap_pa); |
81 | printf(" memory map at %L (physical %L)\n", &memmap, memmap_pa); |
64 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
82 | printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa); |
65 | printf(" translation table at %L (physical %L)\n", &trans, trans_pa); |
83 | printf(" translation table at %L (physical %L)\n", &trans, trans_pa); |
66 | 84 | ||
67 | if (!ofw_memmap(&memmap)) { |
- | |
68 | printf("Unable to get memory map\n"); |
- | |
69 | halt(); |
- | |
70 | } |
- | |
71 | printf("Total memory %d MB\n", memmap.total >> 20); |
- | |
72 | - | ||
73 | unsigned int addr; |
85 | unsigned int addr; |
74 | unsigned int pages; |
- | |
75 | for (addr = 0, pages = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE, pages++) { |
86 | for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) { |
76 | void *pa = ofw_translate(KERNEL_START + addr); |
87 | void *pa = ofw_translate(KERNEL_START + addr); |
77 | if ((unsigned int) pa < KERNEL_SIZE) { |
- | |
78 | printf("Error: Kernel image overlaps kernel physical area\n"); |
88 | check_overlap(pa, "Kernel image"); |
79 | halt(); |
- | |
80 | } |
- | |
81 | trans[addr >> PAGE_WIDTH] = pa; |
89 | trans[addr >> PAGE_WIDTH] = pa; |
82 | } |
90 | } |
83 | 91 | ||
84 | printf("Booting the kernel...\n"); |
92 | printf("Booting the kernel...\n"); |
85 | jump_to_kernel(memmap_pa, trans_pa, pages, real_mode_pa); |
93 | jump_to_kernel(memmap_pa, trans_pa, KERNEL_SIZE, real_mode_pa); |
86 | } |
94 | } |