WebSVN – HelenOS-historic – Diff – /boot/trunk/arch/ppc32/loader/main.c


/*
 * Copyright (C) 2005 Martin Decky
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
#include "main.h" 
#include <printf.h>
#include "asm.h"
#include "_components.h"
 
#define HEAP_GAP 1024000
 
bootinfo_t bootinfo;
 
 
static void check_align(const void *addr, const char *desc)
{
    if ((unsigned int) addr % PAGE_SIZE != 0) {
        printf("Error: %s not on page boundary, halting.\n", desc);
        halt();
    }
}
 
 
static void fix_overlap(void *va, void **pa, const char *desc, unsigned int *top)
{
    if ((unsigned int) *pa + PAGE_SIZE < *top) {
        printf("Warning: %s overlaps kernel physical area\n", desc);
       
        void *new_va = (void *) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top);
        void *new_pa = (void *) (HEAP_GAP + *top);
        *top += PAGE_SIZE;
       
        if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) {
            printf("Error: Unable to map page aligned memory at %L (physical %L), halting.\n", new_va, new_pa);
            halt();
        }
       
        if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) {
            printf("Error: %s cannot be relocated, halting.\n", desc);
            halt();
        }
       
        printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa);
        *pa = new_pa;
        memcpy(new_va, va, PAGE_SIZE);
    }
}
 
 
void bootstrap(void)
{
    printf("\nHelenOS PPC Bootloader\n");
   
    init_components();
   
    unsigned int i;
   
    for (i = 0; i < COMPONENTS; i++)
        check_align(components[i].start, components[i].name);
   
    check_align(&real_mode, "bootstrap trampoline");
    check_align(&trans, "translation table");
   
    if (!ofw_memmap(&bootinfo.memmap)) {
        printf("Error: unable to get memory map, halting.\n");
        halt();
    }
   
    if (bootinfo.memmap.total == 0) {
        printf("Error: no memory detected, halting.\n");
        halt();
    }
   
    if (!ofw_screen(&bootinfo.screen)) {
        printf("Error: unable to get screen properties, halting.\n");
        halt();
    }
   
    if (!ofw_keyboard(&bootinfo.keyboard)) {
        printf("Error: unable to get keyboard properties, halting.\n");
        halt();
    }
   
    printf("\nDevice statistics\n");
    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);
    printf(" keyboard at %L (size %d bytes)\n", bootinfo.keyboard.addr, bootinfo.keyboard.size);
   
    void *real_mode_pa = ofw_translate(&real_mode);
    void *trans_pa = ofw_translate(&trans);
    void *bootinfo_pa = ofw_translate(&bootinfo);
   
    printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20);
    printf(" %L: boot info structure (physical %L)\n", &bootinfo, bootinfo_pa);
    printf(" %L: bootstrap trampoline (physical %L)\n", &real_mode, real_mode_pa);
    printf(" %L: translation table (physical %L)\n", &trans, trans_pa);
    for (i = 0; i < COMPONENTS; i++)
        printf(" %L: %s image (size %d bytes)\n", components[i].start, components[i].name, components[i].size);
   
    unsigned int top = 0;
    for (i = 0; i < COMPONENTS; i++)
        top += ALIGN_UP(components[i].size, PAGE_SIZE);
   
    unsigned int pages = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) >> PAGE_WIDTH;
   
    for (i = 0; i < pages; i++) {
        void *pa = ofw_translate(KERNEL_START + (i << PAGE_WIDTH));
        fix_overlap(KERNEL_START + (i << PAGE_WIDTH), &pa, "kernel", &top);
        trans[i] = pa;
    }
   
    bootinfo.taskmap.count = 0;
    for (i = 1; i < COMPONENTS; i++) {
        unsigned int component_pages = ALIGN_UP(components[i].size, PAGE_SIZE) >> PAGE_WIDTH;
        unsigned int j;
       
        for (j = 0; j < component_pages; j++) {
            void *pa = ofw_translate(components[i].start + (j << PAGE_WIDTH));
            fix_overlap(components[i].start + (j << PAGE_WIDTH), &pa, components[i].name, &top);
            trans[pages + j] = pa;
            if (j == 0) {
                bootinfo.taskmap.tasks[bootinfo.taskmap.count].addr = (void *) (pages << PAGE_WIDTH);
                bootinfo.taskmap.tasks[bootinfo.taskmap.count].size = components[i].size;
                bootinfo.taskmap.count++;
            }
        }
       
        pages += component_pages;
    }
   
    fix_overlap(&real_mode, &real_mode_pa, "bootstrap trampoline", &top);
    fix_overlap(&trans, &trans_pa, "translation table", &top);
    fix_overlap(&bootinfo, &bootinfo_pa, "boot info", &top);
   
    printf("\nBooting the kernel...\n");
    jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, real_mode_pa, (void *) bootinfo.screen.addr, bootinfo.screen.scanline);
}
 

Subversion Repositories HelenOS-historic

(root)/boot/trunk/arch/ppc32/loader/main.c @ 1737 – Rev 1764 → 1783

Rev 1764		Rev 1783
1	/*	1	/*
2	* Copyright (C) 2005 Martin Decky	2	* Copyright (C) 2005 Martin Decky
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	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	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.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	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	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	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	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	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	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.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
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	#include "_components.h"	32	#include "_components.h"
33		33
34	#define HEAP_GAP 1024000	34	#define HEAP_GAP 1024000
35		35
36	bootinfo_t bootinfo;	36	bootinfo_t bootinfo;
37		37
38		38
39	static void check_align(const void addr, const char desc)	39	static void check_align(const void addr, const char desc)
40	{	40	{
41	if ((unsigned int) addr % PAGE_SIZE != 0) {	41	if ((unsigned int) addr % PAGE_SIZE != 0) {
42	printf("Error: %s not on page boundary, halting.\n", desc);	42	printf("Error: %s not on page boundary, halting.\n", desc);
43	halt();	43	halt();
44	}	44	}
45	}	45	}
46		46
47		47
48	static void fix_overlap(void va, void pa, const char desc, unsigned int *top)	48	static void fix_overlap(void va, void pa, const char desc, unsigned int *top)
49	{	49	{
50	if ((unsigned int) pa + PAGE_SIZE < top) {	50	if ((unsigned int) pa + PAGE_SIZE < top) {
51	printf("Warning: %s overlaps kernel physical area\n", desc);	51	printf("Warning: %s overlaps kernel physical area\n", desc);
52		52
53	void new_va = (void ) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top);	53	void new_va = (void ) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top);
54	void new_pa = (void ) (HEAP_GAP + *top);	54	void new_pa = (void ) (HEAP_GAP + *top);
55	*top += PAGE_SIZE;	55	*top += PAGE_SIZE;
56		56
57	if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) {	57	if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) {
58	printf("Error: Unable to map page aligned memory at %L (physical %L), halting.\n", new_va, new_pa);	58	printf("Error: Unable to map page aligned memory at %L (physical %L), halting.\n", new_va, new_pa);
59	halt();	59	halt();
60	}	60	}
61		61
62	if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) {	62	if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) {
63	printf("Error: %s cannot be relocated, halting.\n", desc);	63	printf("Error: %s cannot be relocated, halting.\n", desc);
64	halt();	64	halt();
65	}	65	}
66		66
67	printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa);	67	printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa);
68	*pa = new_pa;	68	*pa = new_pa;
69	memcpy(new_va, va, PAGE_SIZE);	69	memcpy(new_va, va, PAGE_SIZE);
70	}	70	}
71	}	71	}
72		72
73		73
74	void bootstrap(void)	74	void bootstrap(void)
75	{	75	{
76	printf("\nHelenOS PPC Bootloader\n");	76	printf("\nHelenOS PPC Bootloader\n");
77		77
78	init_components();	78	init_components();
79		79
80	unsigned int i;	80	unsigned int i;
81		81
82	for (i = 0; i < COMPONENTS; i++)	82	for (i = 0; i < COMPONENTS; i++)
83	check_align(components[i].start, components[i].name);	83	check_align(components[i].start, components[i].name);
84		84
85	check_align(&real_mode, "bootstrap trampoline");	85	check_align(&real_mode, "bootstrap trampoline");
86	check_align(&trans, "translation table");	86	check_align(&trans, "translation table");
87		87
88	if (!ofw_memmap(&bootinfo.memmap)) {	88	if (!ofw_memmap(&bootinfo.memmap)) {
89	printf("Error: unable to get memory map, halting.\n");	89	printf("Error: unable to get memory map, halting.\n");
90	halt();	90	halt();
91	}	91	}
92		92
93	if (bootinfo.memmap.total == 0) {	93	if (bootinfo.memmap.total == 0) {
94	printf("Error: no memory detected, halting.\n");	94	printf("Error: no memory detected, halting.\n");
95	halt();	95	halt();
96	}	96	}
97		97
98	if (!ofw_screen(&bootinfo.screen)) {	98	if (!ofw_screen(&bootinfo.screen)) {
99	printf("Error: unable to get screen properties, halting.\n");	99	printf("Error: unable to get screen properties, halting.\n");
100	halt();	100	halt();
101	}	101	}
102		102
103	if (!ofw_keyboard(&bootinfo.keyboard)) {	103	if (!ofw_keyboard(&bootinfo.keyboard)) {
104	printf("Error: unable to get keyboard properties, halting.\n");	104	printf("Error: unable to get keyboard properties, halting.\n");
105	halt();	105	halt();
106	}	106	}
107		107
108	printf("\nDevice statistics\n");	108	printf("\nDevice statistics\n");
109	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);	109	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);
110	printf(" keyboard at %L (size %d bytes)\n", bootinfo.keyboard.addr, bootinfo.keyboard.size);	110	printf(" keyboard at %L (size %d bytes)\n", bootinfo.keyboard.addr, bootinfo.keyboard.size);
111		111
112	void *real_mode_pa = ofw_translate(&real_mode);	112	void *real_mode_pa = ofw_translate(&real_mode);
113	void *trans_pa = ofw_translate(&trans);	113	void *trans_pa = ofw_translate(&trans);
114	void *bootinfo_pa = ofw_translate(&bootinfo);	114	void *bootinfo_pa = ofw_translate(&bootinfo);
115		115
116	printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20);	116	printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20);
117	printf(" %L: boot info structure (physical %L)\n", &bootinfo, bootinfo_pa);	117	printf(" %L: boot info structure (physical %L)\n", &bootinfo, bootinfo_pa);
118	printf(" %L: bootstrap trampoline (physical %L)\n", &real_mode, real_mode_pa);	118	printf(" %L: bootstrap trampoline (physical %L)\n", &real_mode, real_mode_pa);
119	printf(" %L: translation table (physical %L)\n", &trans, trans_pa);	119	printf(" %L: translation table (physical %L)\n", &trans, trans_pa);
120	for (i = 0; i < COMPONENTS; i++)	120	for (i = 0; i < COMPONENTS; i++)
121	printf(" %L: %s image (size %d bytes)\n", components[i].start, components[i].name, components[i].size);	121	printf(" %L: %s image (size %d bytes)\n", components[i].start, components[i].name, components[i].size);
122		122
123	unsigned int top = 0;	123	unsigned int top = 0;
124	for (i = 0; i < COMPONENTS; i++)	124	for (i = 0; i < COMPONENTS; i++)
125	top += ALIGN_UP(components[i].size, PAGE_SIZE);	125	top += ALIGN_UP(components[i].size, PAGE_SIZE);
126		126
127	unsigned int pages = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) >> PAGE_WIDTH;	127	unsigned int pages = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE) >> PAGE_WIDTH;
128		128
129	for (i = 0; i < pages; i++) {	129	for (i = 0; i < pages; i++) {
130	void *pa = ofw_translate(KERNEL_START + (i << PAGE_WIDTH));	130	void *pa = ofw_translate(KERNEL_START + (i << PAGE_WIDTH));
131	fix_overlap(KERNEL_START + (i << PAGE_WIDTH), &pa, "kernel", &top);	131	fix_overlap(KERNEL_START + (i << PAGE_WIDTH), &pa, "kernel", &top);
132	trans[i] = pa;	132	trans[i] = pa;
133	}	133	}
134		134
135	bootinfo.taskmap.count = 0;	135	bootinfo.taskmap.count = 0;
136	for (i = 1; i < COMPONENTS; i++) {	136	for (i = 1; i < COMPONENTS; i++) {
137	unsigned int component_pages = ALIGN_UP(components[i].size, PAGE_SIZE) >> PAGE_WIDTH;	137	unsigned int component_pages = ALIGN_UP(components[i].size, PAGE_SIZE) >> PAGE_WIDTH;
138	unsigned int j;	138	unsigned int j;
139		139
140	for (j = 0; j < component_pages; j++) {	140	for (j = 0; j < component_pages; j++) {
141	void *pa = ofw_translate(components[i].start + (j << PAGE_WIDTH));	141	void *pa = ofw_translate(components[i].start + (j << PAGE_WIDTH));
142	fix_overlap(components[i].start + (j << PAGE_WIDTH), &pa, components[i].name, &top);	142	fix_overlap(components[i].start + (j << PAGE_WIDTH), &pa, components[i].name, &top);
143	trans[pages + j] = pa;	143	trans[pages + j] = pa;
144	if (j == 0) {	144	if (j == 0) {
145	bootinfo.taskmap.tasks[bootinfo.taskmap.count].addr = (void *) (pages << PAGE_WIDTH);	145	bootinfo.taskmap.tasks[bootinfo.taskmap.count].addr = (void *) (pages << PAGE_WIDTH);
146	bootinfo.taskmap.tasks[bootinfo.taskmap.count].size = components[i].size;	146	bootinfo.taskmap.tasks[bootinfo.taskmap.count].size = components[i].size;
147	bootinfo.taskmap.count++;	147	bootinfo.taskmap.count++;
148	}	148	}
149	}	149	}
150		150
151	pages += component_pages;	151	pages += component_pages;
152	}	152	}
153		153
154	fix_overlap(&real_mode, &real_mode_pa, "bootstrap trampoline", &top);	154	fix_overlap(&real_mode, &real_mode_pa, "bootstrap trampoline", &top);
155	fix_overlap(&trans, &trans_pa, "translation table", &top);	155	fix_overlap(&trans, &trans_pa, "translation table", &top);
156	fix_overlap(&bootinfo, &bootinfo_pa, "boot info", &top);	156	fix_overlap(&bootinfo, &bootinfo_pa, "boot info", &top);
157		157
158	printf("\nBooting the kernel...\n");	158	printf("\nBooting the kernel...\n");
159	jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, real_mode_pa, bootinfo.screen.addr, bootinfo.screen.scanline);	159	jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, real_mode_pa, (void *) bootinfo.screen.addr, bootinfo.screen.scanline);
160	}	160	}
161		161