| /branches/network/kernel/generic/src/main/kinit.c |
|---|
| 186,12 → 186,12 |
| char *name; |
| name = init.tasks[i].name; |
| if (name[0] == '\0') |
| if (name[0] == 0) |
| name = "<unknown>"; |
| ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN); |
| strncpy(namebuf, INIT_PREFIX, TASK_NAME_BUFLEN); |
| strncpy(namebuf + INIT_PREFIX_LEN, name, |
| str_ncpy(namebuf, INIT_PREFIX, TASK_NAME_BUFLEN); |
| str_ncpy(namebuf + INIT_PREFIX_LEN, name, |
| TASK_NAME_BUFLEN - INIT_PREFIX_LEN); |
| int rc = program_create_from_image((void *) init.tasks[i].addr, |
| /branches/network/kernel/generic/src/main/main.c |
|---|
| 32,7 → 32,7 |
| /** |
| * @file |
| * @brief Main initialization kernel function for all processors. |
| * @brief Main initialization kernel function for all processors. |
| * |
| * During kernel boot, all processors, after architecture dependent |
| * initialization, start executing code found in this file. After |
| 82,6 → 82,7 |
| #include <smp/smp.h> |
| #include <ddi/ddi.h> |
| #include <main/main.h> |
| #include <ipc/event.h> |
| /** Global configuration structure. */ |
| config_t config; |
| 255,12 → 256,9 |
| printf("No init binaries found\n"); |
| LOG_EXEC(ipc_init()); |
| LOG_EXEC(event_init()); |
| LOG_EXEC(klog_init()); |
| #ifdef CONFIG_KCONSOLE |
| LOG_EXEC(kconsole_notify_init()); |
| #endif |
| /* |
| * Create kernel task. |
| */ |
| /branches/network/kernel/generic/src/main/shutdown.c |
|---|
| 32,10 → 32,11 |
| /** |
| * @file |
| * @brief Shutdown procedures. |
| * @brief Shutdown procedures. |
| */ |
| #include <arch.h> |
| #include <func.h> |
| #include <print.h> |
| void reboot(void) |
| 47,6 → 48,7 |
| #endif |
| arch_reboot(); |
| halt(); |
| } |
| /** @} |