Rev 212 | Rev 235 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 212 | Rev 220 | ||
---|---|---|---|
Line 130... | Line 130... | ||
130 | * Second part of main_bsp(). |
130 | * Second part of main_bsp(). |
131 | * |
131 | * |
132 | */ |
132 | */ |
133 | void main_bsp_separated_stack(void) |
133 | void main_bsp_separated_stack(void) |
134 | { |
134 | { |
- | 135 | ||
- | 136 | int a; |
|
135 | vm_t *m; |
137 | vm_t *m; |
136 | task_t *k; |
138 | task_t *k; |
137 | thread_t *t; |
139 | thread_t *t; |
138 | 140 | ||
139 | the_initialize(THE); |
141 | the_initialize(THE); |
Line 155... | Line 157... | ||
155 | smp_init(); |
157 | smp_init(); |
156 | printf("config.memory_size=%dM\n", config.memory_size/(1024*1024)); |
158 | printf("config.memory_size=%dM\n", config.memory_size/(1024*1024)); |
157 | printf("config.cpu_count=%d\n", config.cpu_count); |
159 | printf("config.cpu_count=%d\n", config.cpu_count); |
158 | 160 | ||
159 | cpu_init(); |
161 | cpu_init(); |
160 | 162 | ||
161 | calibrate_delay_loop(); |
163 | calibrate_delay_loop(); |
162 | 164 | ||
163 | timeout_init(); |
165 | timeout_init(); |
164 | scheduler_init(); |
166 | scheduler_init(); |
165 | task_init(); |
167 | task_init(); |