/kernel/trunk/generic/src/main/kinit.c |
---|
45,6 → 45,7 |
#include <console/console.h> |
#include <interrupt.h> |
#include <console/kconsole.h> |
#include <security/cap.h> |
#ifdef CONFIG_SMP |
#include <arch/smp/mps.h> |
144,6 → 145,11 |
utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
if (utask) { |
/* |
* Set capabilities to init userspace tasks. |
*/ |
cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER); |
if (!ipc_phone_0) |
ipc_phone_0 = &utask->answerbox; |
} else |