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; |