Subversion Repositories HelenOS

Rev

Rev 3022 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3022 Rev 4055
Line 26... Line 26...
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 <align.h>
- 
 
 32 
#include <macros.h>
- 
 
 33 
#include <string.h>
31 
#include "msim.h"
 34 
#include "msim.h"
32 
#include "asm.h"
 35 
#include "asm.h"
33 
#include "_components.h"
 36 
#include "_components.h"
34 
 
 37 
 
35 
#define KERNEL_VIRTUAL_ADDRESS 0x80100000
 38 
#define KERNEL_VIRTUAL_ADDRESS 0x80100000
36 
 
 39 
 
37 
char *release = RELEASE;
 40 
char *release = STRING(RELEASE);
38 
 
 41 
 
39 
#ifdef REVISION
 42 
#ifdef REVISION
40 
    char *revision = ", revision " REVISION;
 43 
    char *revision = ", revision " STRING(REVISION);
41 
#else
 44 
#else
42 
    char *revision = "";
 45 
    char *revision = "";
43 
#endif
 46 
#endif
44 
 
 47 
 
45 
#ifdef TIMESTAMP
 48 
#ifdef TIMESTAMP
46 
    char *timestamp = "\nBuilt on " TIMESTAMP;
 49 
    char *timestamp = "\nBuilt on " STRING(TIMESTAMP);
47 
#else
 50 
#else
48 
    char *timestamp = "";
 51 
    char *timestamp = "";
49 
#endif
 52 
#endif
50 
 
 53 
 
51 
/** Print version information. */
 54 
/** Print version information. */
Line 57... Line 60...
57 
void bootstrap(void)
 60 
void bootstrap(void)
58 
{
 61 
{
59 
    version_print();
 62 
    version_print();
60 
   
 63 
   
61 
    component_t components[COMPONENTS];
 64 
    component_t components[COMPONENTS];
62 
    bootinfo_t bootinfo;
 - 
 
63 
    init_components(components);
 65 
    init_components(components);
64 
   
 66 
   
- 
 
 67 
    bootinfo_t bootinfo;
- 
 
 68 
   
65 
    printf("\nMemory statistics\n");
 69 
    printf("\nMemory statistics\n");
66 
    printf(" kernel entry point at %L\n", KERNEL_VIRTUAL_ADDRESS);
 70 
    printf(" kernel entry point at %L\n", KERNEL_VIRTUAL_ADDRESS);
67 
    printf(" %L: boot info structure\n", &bootinfo);
 71 
    printf(" %L: boot info structure\n", &bootinfo);
68 
   
 72 
   
69 
    unsigned int i;
 73 
    unsigned int i;
70 
    for (i = 0; i < COMPONENTS; i++)
 74 
    for (i = 0; i < COMPONENTS; i++)
71 
        printf(" %L: %s image (size %d bytes)\n", components[i].start, components[i].name, components[i].size);
 75 
        printf(" %L: %s image (size %d bytes)\n", components[i].start, components[i].name, components[i].size);
72 
   
 76 
   
73 
    printf("\nCopying components\n");
 77 
    printf("\nCopying components\n");
- 
 
 78 
   
74 
    unsigned int top = 0;
 79 
    unsigned int top = 0;
75 
    bootinfo.cnt = 0;
 80 
    bootinfo.cnt = 0;
76 
    for (i = 0; i < COMPONENTS; i++) {
 81 
    for (i = 0; i < min(COMPONENTS, TASKMAP_MAX_RECORDS); i++) {
77 
        printf(" %s...", components[i].name);
 82 
        printf(" %s...", components[i].name);
78 
        top = ALIGN_UP(top, PAGE_SIZE);
 83 
        top = ALIGN_UP(top, PAGE_SIZE);
79 
        memcpy(((void *) KERNEL_VIRTUAL_ADDRESS) + top, components[i].start, components[i].size);
 84 
        memcpy(((void *) KERNEL_VIRTUAL_ADDRESS) + top, components[i].start, components[i].size);
80 
        if (i > 0) {
 85 
        if (i > 0) {
81 
            bootinfo.tasks[bootinfo.cnt].addr = ((void *) KERNEL_VIRTUAL_ADDRESS) + top;
 86 
            bootinfo.tasks[bootinfo.cnt].addr = ((void *) KERNEL_VIRTUAL_ADDRESS) + top;
82 
            bootinfo.tasks[bootinfo.cnt].size = components[i].size;
 87 
            bootinfo.tasks[bootinfo.cnt].size = components[i].size;
- 
 
 88 
            strncpy(bootinfo.tasks[bootinfo.cnt].name,
- 
 
 89 
                components[i].name, BOOTINFO_TASK_NAME_BUFLEN);
83 
            bootinfo.cnt++;
 90 
            bootinfo.cnt++;
84 
        }
 91 
        }
85 
        top += components[i].size;
 92 
        top += components[i].size;
86 
        printf("done.\n");
 93 
        printf("done.\n");
87 
    }
 94 
    }
88 
   
 95 
   
- 
 
 96 
    unsigned int *cpumap = (unsigned int *) CPUMAP;
- 
 
 97 
    bootinfo.cpumap = 0;
- 
 
 98 
    for (i = 0; i < CPUMAP_MAX_RECORDS; i++) {
- 
 
 99 
        if (cpumap[i] != 0)
- 
 
 100 
            bootinfo.cpumap |= (1 << i);
- 
 
 101 
    }
- 
 
 102 
   
89 
    printf("\nBooting the kernel...\n");
 103 
    printf("\nBooting the kernel...\n");
90 
    jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, &bootinfo, sizeof(bootinfo));
 104 
    jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, &bootinfo);
91 
}
 105 
}