132,16 → 132,17 |
panic("thread_create/kconsole\n"); |
|
interrupts_enable(); |
|
if (config.init_size > 0) { |
|
count_t i; |
for (i = 0; i < init.cnt; i++) { |
/* |
* Create the first user task. |
* Run user tasks. |
*/ |
|
if (config.init_addr % FRAME_SIZE) |
panic("config.init_addr is not frame aligned"); |
if (init.tasks[i].addr % FRAME_SIZE) |
panic("init[%d].addr is not frame aligned", i); |
|
utask = task_run_program((void *)config.init_addr); |
utask = task_run_program((void *) init.tasks[i].addr); |
if (utask) |
ipc_phone_0 = &utask->answerbox; |
else |