Rev 2071 | Rev 3883 | 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; |