Rev 3883 | Rev 4027 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3883 | Rev 3922 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | /** @addtogroup arm32boot |
30 | /** @addtogroup arm32boot |
| 31 | * @{ |
31 | * @{ |
| 32 | */ |
32 | */ |
| 33 | /** @file |
33 | /** @file |
| 34 | * @brief Bootstrap. |
34 | * @brief Bootstrap. |
| 35 | */ |
35 | */ |
| 36 | 36 | ||
| 37 | 37 | ||
| 38 | #include "main.h" |
38 | #include "main.h" |
| 39 | #include "asm.h" |
39 | #include "asm.h" |
| 40 | #include "_components.h" |
40 | #include "_components.h" |
| 41 | #include <printf.h> |
41 | #include <printf.h> |
| - | 42 | #include <align.h> |
|
| 42 | #include <macros.h> |
43 | #include <macros.h> |
| 43 | 44 | ||
| 44 | #include "mm.h" |
45 | #include "mm.h" |
| 45 | 46 | ||
| 46 | /** Kernel entry point address. */ |
47 | /** Kernel entry point address. */ |
| Line 107... | Line 108... | ||
| 107 | top += components[i].size; |
108 | top += components[i].size; |
| 108 | printf("done.\n"); |
109 | printf("done.\n"); |
| 109 | } |
110 | } |
| 110 | 111 | ||
| 111 | printf("\nBooting the kernel...\n"); |
112 | printf("\nBooting the kernel...\n"); |
| 112 | jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, &bootinfo, sizeof(bootinfo)); |
113 | jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, &bootinfo); |
| 113 | } |
114 | } |
| 114 | 115 | ||
| 115 | /** @} |
116 | /** @} |
| 116 | */ |
117 | */ |
| 117 | 118 | ||