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(); |