Rev 1037 | Rev 1042 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1037 | Rev 1040 | ||
|---|---|---|---|
| Line 141... | Line 141... | ||
| 141 | 141 | ||
| 142 | if (init.tasks[i].addr % FRAME_SIZE) |
142 | if (init.tasks[i].addr % FRAME_SIZE) |
| 143 | panic("init[%d].addr is not frame aligned", i); |
143 | panic("init[%d].addr is not frame aligned", i); |
| 144 | 144 | ||
| 145 | utask = task_run_program((void *) init.tasks[i].addr); |
145 | utask = task_run_program((void *) init.tasks[i].addr); |
| 146 | if (utask) |
146 | if (utask) { |
| - | 147 | if (!ipc_phone_0) |
|
| 147 | ipc_phone_0 = &utask->answerbox; |
148 | ipc_phone_0 = &utask->answerbox; |
| 148 | else |
149 | } else |
| 149 | printf("Userspace not started.\n"); |
150 | printf("Userspace not started.\n"); |
| 150 | } |
151 | } |
| 151 | 152 | ||
| 152 | #ifdef CONFIG_TEST |
153 | #ifdef CONFIG_TEST |
| 153 | test(); |
154 | test(); |