| 61,6 → 61,7 |
|---|
| #include <interrupt.h> |
| #include <console/kconsole.h> |
| #include <security/cap.h> |
| #include <mm/rd.h> |
| |
| #ifdef CONFIG_SMP |
| #include <smp/smp.h> |
| 158,17 → 159,18 |
|---|
| printf("\nTest finished, please reboot.\n"); |
| #else /* CONFIG_TEST */ |
| |
| task_t *utask; |
| count_t i; |
| for (i = 0; i < init.cnt; i++) { |
| /* |
| * Run user tasks. |
| * Run user tasks, load RAM disk images. |
| */ |
| |
| if (init.tasks[i].addr % FRAME_SIZE) |
| panic("init[%d].addr is not frame aligned", i); |
| if (init.tasks[i].addr % FRAME_SIZE) { |
| printf("init[%d].addr is not frame aligned", i); |
| continue; |
| } |
| |
| utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
| task_t *utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
| if (utask) { |
| /* |
| * Set capabilities to init userspace tasks. |
| 177,8 → 179,12 |
|---|
| |
| if (!ipc_phone_0) |
| ipc_phone_0 = &utask->answerbox; |
| } else |
| printf("Init task %zd not started.\n", i); |
| } else { |
| bool rd = init_rd((void *) init.tasks[i].addr); |
| |
| if (!rd) |
| printf("Init binary %zd not used.\n", i); |
| } |
| } |
| |
| |