31,6 → 31,7 |
#include "_components.h" |
#include <printf.h> |
|
#include "mm.h" |
|
#define KERNEL_PHY_ADDRESS 0x00100000 |
|
73,6 → 74,8 |
components[i].start, components[i].name, components[i].size); |
} |
|
printf("\nAddr of page table : %L\n", page_table); |
|
printf("\nCopying components\n"); |
unsigned int top = 0; |
bootinfo.cnt = 0; |
101,8 → 104,10 |
top += components[i].size; |
printf("done.\n"); |
} |
|
|
mm_kernel_mapping(); |
|
printf("\nBooting the kernel...\n"); |
jump_to_kernel((void *) KERNEL_PHY_ADDRESS, &bootinfo, sizeof(bootinfo)); |
jump_to_kernel((void *) PA2KA(KERNEL_PHY_ADDRESS), &bootinfo, sizeof(bootinfo)); |
} |
|