/kernel/trunk/generic/src/main/kinit.c |
---|
138,6 → 138,8 |
interrupts_enable(); |
ipc_create_phonecompany(); |
if (config.init_size > 0) { |
/* |
* Create the first user task. |
/kernel/trunk/generic/src/main/main.c |
---|
54,6 → 54,7 |
#include <arch.h> |
#include <arch/faddr.h> |
#include <typedefs.h> |
#include <ipc/ipc.h> |
#ifdef CONFIG_SMP |
#include <arch/smp/apic.h> |
190,7 → 191,8 |
if (config.init_size > 0) |
printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size); |
ipc_init(); |
/* |
* Create kernel task. |
*/ |