Rev 789 | Rev 814 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 789 | Rev 799 | ||
|---|---|---|---|
| Line 187... | Line 187... | ||
| 187 | scheduler_init(); |
187 | scheduler_init(); |
| 188 | task_init(); |
188 | task_init(); |
| 189 | thread_init(); |
189 | thread_init(); |
| 190 | 190 | ||
| 191 | if (config.init_size > 0) |
191 | if (config.init_size > 0) |
| 192 | printf("config.init_addr=%X, config.init_size=%d\n", config.init_addr, config.init_size); |
192 | printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size); |
| 193 | 193 | ||
| 194 | /* |
194 | /* |
| 195 | * Create kernel task. |
195 | * Create kernel task. |
| 196 | */ |
196 | */ |
| 197 | k = task_create(AS_KERNEL); |
197 | k = task_create(AS_KERNEL); |