Changes in kernel/generic/src/main/kinit.c [221c9ec:7e752b2] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/generic/src/main/kinit.c
r221c9ec r7e752b2 57 57 #include <mm/as.h> 58 58 #include <mm/frame.h> 59 #include <mm/km.h>60 59 #include <print.h> 61 60 #include <memstr.h> … … 69 68 #include <str.h> 70 69 #include <sysinfo/stats.h> 71 #include <align.h>72 70 73 71 #ifdef CONFIG_SMP … … 180 178 181 179 for (i = 0; i < init.cnt; i++) { 182 if (init.tasks[i]. paddr % FRAME_SIZE) {183 printf("init[%zu] : Addressis not frame aligned\n", i);180 if (init.tasks[i].addr % FRAME_SIZE) { 181 printf("init[%zu].addr is not frame aligned\n", i); 184 182 programs[i].task = NULL; 185 183 continue; … … 201 199 str_cpy(namebuf + INIT_PREFIX_LEN, 202 200 TASK_NAME_BUFLEN - INIT_PREFIX_LEN, name); 203 204 /* 205 * Create virtual memory mappings for init task images. 206 */ 207 uintptr_t page = km_map(init.tasks[i].paddr, 208 init.tasks[i].size, 209 PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE); 210 ASSERT(page); 211 212 int rc = program_create_from_image((void *) page, namebuf, 213 &programs[i]); 214 215 if (rc == 0) { 216 if (programs[i].task != NULL) { 217 /* 218 * Set capabilities to init userspace tasks. 219 */ 220 cap_set(programs[i].task, CAP_CAP | CAP_MEM_MANAGER | 221 CAP_IO_MANAGER | CAP_IRQ_REG); 222 223 if (!ipc_phone_0) 224 ipc_phone_0 = &programs[i].task->answerbox; 225 } 201 202 int rc = program_create_from_image((void *) init.tasks[i].addr, 203 namebuf, &programs[i]); 204 205 if ((rc == 0) && (programs[i].task != NULL)) { 206 /* 207 * Set capabilities to init userspace tasks. 208 */ 209 cap_set(programs[i].task, CAP_CAP | CAP_MEM_MANAGER | 210 CAP_IO_MANAGER | CAP_IRQ_REG); 226 211 227 /* 228 * If programs[i].task == NULL then it is 229 * the program loader and it was registered 230 * successfully. 231 */ 232 } else if (i == init.cnt - 1) { 233 /* 234 * Assume the last task is the RAM disk. 235 */ 236 init_rd((void *) init.tasks[i].paddr, init.tasks[i].size); 237 } else 238 printf("init[%zu]: Init binary load failed (error %d)\n", i, rc); 212 if (!ipc_phone_0) 213 ipc_phone_0 = &programs[i].task->answerbox; 214 } else if (rc == 0) { 215 /* It was the program loader and was registered */ 216 } else { 217 /* RAM disk image */ 218 int rd = init_rd((rd_header_t *) init.tasks[i].addr, init.tasks[i].size); 219 220 if (rd != RE_OK) 221 printf("Init binary %zu not used (error %d)\n", i, rd); 222 } 239 223 } 240 224
Note:
See TracChangeset
for help on using the changeset viewer.