/kernel/trunk/generic/src/main/kinit.c |
117,6 → 117,11 |
#endif /* CONFIG_SMP */ |
|
/* |
* At this point SMP, if present, is configured. |
*/ |
arch_post_smp_init(); |
|
/* |
* Create kernel console. |
*/ |
if (t = thread_create(kconsole, NULL, TASK, 0)) |
164,7 → 169,7 |
#endif /* CONFIG_TEST */ |
|
while (1) { |
thread_sleep(60); |
thread_sleep(1); |
printf("kinit... "); |
} |
|
/kernel/trunk/generic/src/main/main.c |
170,7 → 170,6 |
|
arch_pre_smp_init(); |
smp_init(); |
arch_post_smp_init(); |
printf("config.memory_size=%dM\n", config.memory_size/(1024*1024)); |
printf("config.cpu_count=%d\n", config.cpu_count); |
|