Rev 953 | Rev 964 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 953 | Rev 956 | ||
---|---|---|---|
Line 29... | Line 29... | ||
29 | #include "main.h" |
29 | #include "main.h" |
30 | #include "printf.h" |
30 | #include "printf.h" |
31 | #include "ofw.h" |
31 | #include "ofw.h" |
32 | #include "asm.h" |
32 | #include "asm.h" |
33 | 33 | ||
- | 34 | #define KERNEL_PHYSICAL_ADDRESS 0x1000 |
|
34 | #define KERNEL_LOAD_ADDRESS 0x400000 |
35 | #define KERNEL_VIRTUAL_ADDRESS 0x80001000 |
35 | #define KERNEL_START &_binary_____________kernel_kernel_bin_start |
36 | #define KERNEL_START &_binary_____________kernel_kernel_bin_start |
36 | #define KERNEL_END &_binary_____________kernel_kernel_bin_end |
37 | #define KERNEL_END &_binary_____________kernel_kernel_bin_end |
37 | #define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START) |
38 | #define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START) |
38 | 39 | ||
39 | void bootstrap(void) |
40 | void bootstrap(void) |
40 | { |
41 | { |
41 | printf("\nHelenOS PPC Bootloader\n"); |
42 | printf("\nHelenOS PPC Bootloader\n"); |
42 | 43 | ||
43 | void *loader = ofw_translate(&start); |
44 | void *phys = ofw_translate(&start); |
44 | printf("loaded at %L (physical %L)\n", &start, loader); |
45 | printf("loaded at %L (physical %L)\n", &start, phys); |
45 | printf("kernel load address %L (size %d)\n", KERNEL_LOAD_ADDRESS, KERNEL_SIZE); |
- | |
46 | 46 | ||
- | 47 | // FIXME: map just the kernel |
|
47 | void *addr = ofw_claim((void *) KERNEL_LOAD_ADDRESS, KERNEL_SIZE, 1); |
48 | if (ofw_map((void *) KERNEL_PHYSICAL_ADDRESS, (void *) KERNEL_VIRTUAL_ADDRESS, 1024 * 1024, 0) != 0) { |
48 | if (addr == NULL) { |
- | |
49 | printf("Error: Unable to claim memory"); |
49 | printf("Unable to map kernel memory at %L (physical %L)\n", KERNEL_VIRTUAL_ADDRESS, KERNEL_PHYSICAL_ADDRESS); |
50 | halt(); |
50 | halt(); |
51 | } |
51 | } |
- | 52 | printf("kernel memory mapped at %L (physical %L, size %d bytes)\n", KERNEL_VIRTUAL_ADDRESS, KERNEL_PHYSICAL_ADDRESS, KERNEL_SIZE); |
|
52 | printf("Claimed memory at %L\n", addr); |
53 | // FIXME: relocate the kernel in real mode |
53 | memcpy(addr, KERNEL_START, KERNEL_SIZE); |
54 | memcpy((void *) KERNEL_VIRTUAL_ADDRESS, KERNEL_START, KERNEL_SIZE); |
- | 55 | ||
- | 56 | // FIXME: proper framebuffer mapping |
|
- | 57 | ofw_map((void *) 0x84000000, (void *) 0x84000000, 2 * 1024 * 1024, 0); |
|
54 | 58 | ||
55 | printf("Booting the kernel...\n"); |
59 | printf("Booting the kernel...\n"); |
- | 60 | ||
56 | jump_to_kernel(addr); |
61 | flush_instruction_cache(); |
- | 62 | jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS); |
|
57 | } |
63 | } |