Rev 2071 | Rev 3922 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 3023 | ||
---|---|---|---|
Line 57... | Line 57... | ||
57 | void bootstrap(void) |
57 | void bootstrap(void) |
58 | { |
58 | { |
59 | version_print(); |
59 | version_print(); |
60 | 60 | ||
61 | component_t components[COMPONENTS]; |
61 | component_t components[COMPONENTS]; |
62 | bootinfo_t bootinfo; |
- | |
63 | init_components(components); |
62 | init_components(components); |
64 | 63 | ||
- | 64 | bootinfo_t bootinfo; |
|
- | 65 | ||
65 | printf("\nMemory statistics\n"); |
66 | printf("\nMemory statistics\n"); |
66 | printf(" kernel entry point at %L\n", KERNEL_VIRTUAL_ADDRESS); |
67 | printf(" kernel entry point at %L\n", KERNEL_VIRTUAL_ADDRESS); |
67 | printf(" %L: boot info structure\n", &bootinfo); |
68 | printf(" %L: boot info structure\n", &bootinfo); |
68 | 69 | ||
69 | unsigned int i; |
70 | unsigned int i; |