45,7 → 45,6 |
#include <console/console.h> |
#include <interrupt.h> |
#include <console/kconsole.h> |
#include <ipc/ns.h> |
|
#ifdef CONFIG_SMP |
#include <arch/smp/mps.h> |
69,6 → 68,7 |
void kinit(void *arg) |
{ |
thread_t *t; |
task_t *utask; |
|
interrupts_disable(); |
|
133,9 → 133,6 |
|
interrupts_enable(); |
|
/* Initialize name service */ |
ns_start(); |
|
if (config.init_size > 0) { |
/* |
* Create the first user task. |
144,9 → 141,11 |
if (config.init_addr % FRAME_SIZE) |
panic("config.init_addr is not frame aligned"); |
|
if (!task_run_program((void *)config.init_addr)) { |
utask = task_run_program((void *)config.init_addr); |
if (utask) |
ipc_phone_0 = &utask->answerbox; |
else |
printf("Userspace not started.\n"); |
} |
} |
|
#ifdef CONFIG_TEST |