Rev 2465 | Rev 3883 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2465 | Rev 3024 | ||
|---|---|---|---|
| Line 74... | Line 74... | ||
| 74 | { |
74 | { |
| 75 | mmu_start(); |
75 | mmu_start(); |
| 76 | version_print(); |
76 | version_print(); |
| 77 | 77 | ||
| 78 | component_t components[COMPONENTS]; |
78 | component_t components[COMPONENTS]; |
| 79 | bootinfo_t bootinfo; |
- | |
| 80 | init_components(components); |
79 | init_components(components); |
| 81 | 80 | ||
| - | 81 | bootinfo_t bootinfo; |
|
| - | 82 | ||
| 82 | printf("\nMemory statistics\n"); |
83 | printf("\nMemory statistics\n"); |
| 83 | printf(" kernel entry point at %L\n", KERNEL_VIRTUAL_ADDRESS); |
84 | printf(" kernel entry point at %L\n", KERNEL_VIRTUAL_ADDRESS); |
| 84 | printf(" %L: boot info structure\n", &bootinfo); |
85 | printf(" %L: boot info structure\n", &bootinfo); |
| 85 | 86 | ||
| 86 | unsigned int i, j; |
87 | unsigned int i, j; |