| 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"); |
| } |