Rev 3149 | Rev 3203 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3149 | Rev 3191 | ||
---|---|---|---|
Line 144... | Line 144... | ||
144 | arch_post_smp_init(); |
144 | arch_post_smp_init(); |
145 | 145 | ||
146 | /* |
146 | /* |
147 | * Create kernel console. |
147 | * Create kernel console. |
148 | */ |
148 | */ |
149 | t = thread_create(kconsole, (void *) "kconsole", TASK, 0, "kconsole", false); |
149 | t = thread_create(kconsole, (void *) "kconsole", TASK, 0, "kconsole", |
- | 150 | false); |
|
150 | if (t) |
151 | if (t) |
151 | thread_ready(t); |
152 | thread_ready(t); |
152 | else |
153 | else |
153 | panic("thread_create/kconsole\n"); |
154 | panic("thread_create/kconsole\n"); |
154 | 155 | ||
Line 185... | Line 186... | ||
185 | /* RAM disk image */ |
186 | /* RAM disk image */ |
186 | int rd = init_rd((rd_header_t *) init.tasks[i].addr, |
187 | int rd = init_rd((rd_header_t *) init.tasks[i].addr, |
187 | init.tasks[i].size); |
188 | init.tasks[i].size); |
188 | 189 | ||
189 | if (rd != RE_OK) |
190 | if (rd != RE_OK) |
190 | printf("Init binary %" PRIc " not used, error code %d.\n", i, rd); |
191 | printf("Init binary %" PRIc " not used, error " |
- | 192 | "code %d.\n", i, rd); |
|
191 | } |
193 | } |
192 | } |
194 | } |
193 | 195 | ||
194 | /* |
196 | /* |
195 | * Run user tasks with reasonable delays |
197 | * Run user tasks with reasonable delays |