74,8 → 74,6 |
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; |
82,7 → 80,6 |
for (i = 0; i < COMPONENTS; i++) { |
printf(" %s...", components[i].name); |
top = ALIGN_UP(top, PAGE_SIZE); |
//printf("top %x", KERNEL_PHY_ADDRESS + top); |
memcpy(((void *) KERNEL_PHY_ADDRESS) + top, components[i].start, components[i].size); |
if (i > 0) { |
bootinfo.tasks[bootinfo.cnt].addr = ((void *) KERNEL_PHY_ADDRESS) + top; |
90,17 → 87,6 |
bootinfo.cnt++; |
} |
|
/* TODO: memcpy test -> to be deleted */ |
/* |
unsigned char x, y; |
for (j=0; j < 20; ++j) { |
x = *((unsigned char *) components[i].start + j); |
y = *((unsigned char *) KERNEL_PHY_ADDRESS + top + j); |
if (x != y) { |
printf("!!! Error, %x != %x\n", x,y); |
} |
} |
*/ |
top += components[i].size; |
printf("done.\n"); |
} |