/trunk/kernel/generic/src/main/kinit.c |
---|
161,7 → 161,7 |
continue; |
} |
task_t *utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
task_t *utask = task_run_program((void *) init.tasks[i].addr, "uspace"); |
if (utask) { |
/* |
* Set capabilities to init userspace tasks. |
/trunk/kernel/generic/src/main/main.c |
---|
259,7 → 259,7 |
/* |
* Create kernel task. |
*/ |
k = task_create(AS_KERNEL, "KERNEL"); |
k = task_create(AS_KERNEL, "kernel"); |
if (!k) |
panic("can't create kernel task\n"); |