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 |