| /trunk/kernel/arch/mips32/src/mips32.c |
|---|
| 54,6 → 54,8 |
| #include <genarch/fb/visuals.h> |
| #include <macros.h> |
| #include <ddi/device.h> |
| #include <config.h> |
| #include <string.h> |
| #include <arch/asm/regname.h> |
| 86,6 → 88,8 |
| for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
| init.tasks[i].addr = bootinfo->tasks[i].addr; |
| init.tasks[i].size = bootinfo->tasks[i].size; |
| strncpy(init.tasks[i].name, bootinfo->tasks[i].name, |
| CONFIG_TASK_NAME_BUFLEN); |
| } |
| for (i = 0; i < CPUMAP_MAX_RECORDS; i++) { |