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