| 80,8 → 80,8 |
|---|
| static char alive[ALIVE_CHARS] = "-\\|/"; |
| #endif |
| |
| #define BOOT_PREFIX "boot:" |
| #define BOOT_PREFIX_LEN 5 |
| #define INIT_PREFIX "init:" |
| #define INIT_PREFIX_LEN 5 |
| |
| /** Kernel initialization thread. |
| * |
| 178,7 → 178,7 |
|---|
| } |
| |
| /* |
| * Construct task name from the 'boot:' prefix and the |
| * Construct task name from the 'init:' prefix and the |
| * name stored in the init structure (if any). |
| */ |
| |
| 189,10 → 189,10 |
|---|
| if (name[0] == '\0') |
| name = "<unknown>"; |
| |
| ASSERT(TASK_NAME_BUFLEN >= BOOT_PREFIX_LEN); |
| strncpy(namebuf, BOOT_PREFIX, TASK_NAME_BUFLEN); |
| strncpy(namebuf + BOOT_PREFIX_LEN, name, |
| TASK_NAME_BUFLEN - BOOT_PREFIX_LEN); |
| ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN); |
| strncpy(namebuf, INIT_PREFIX, TASK_NAME_BUFLEN); |
| strncpy(namebuf + INIT_PREFIX_LEN, name, |
| TASK_NAME_BUFLEN - INIT_PREFIX_LEN); |
| |
| int rc = program_create_from_image((void *) init.tasks[i].addr, |
| namebuf, &programs[i]); |