64,6 → 64,8 |
#include <security/cap.h> |
#include <lib/rd.h> |
#include <ipc/ipc.h> |
#include <debug.h> |
#include <string.h> |
|
#ifdef CONFIG_SMP |
#include <smp/smp.h> |
78,6 → 80,9 |
static char alive[ALIVE_CHARS] = "-\\|/"; |
#endif |
|
#define BOOT_PREFIX "boot:" |
#define BOOT_PREFIX_LEN 5 |
|
/** Kernel initialization thread. |
* |
* kinit takes care of higher level kernel |
175,11 → 180,23 |
continue; |
} |
|
char *name = init.tasks[i].name; |
if (name[0] == '\0') name = "init-bin"; |
/* |
* Construct task name from the 'boot:' prefix and the |
* name stored in the init structure (if any). |
*/ |
|
char namebuf[TASK_NAME_BUFLEN], *name; |
|
name = init.tasks[i].name; |
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); |
|
int rc = program_create_from_image((void *) init.tasks[i].addr, |
name, &programs[i]); |
namebuf, &programs[i]); |
|
if ((rc == 0) && (programs[i].task != NULL)) { |
/* |