Changes in kernel/generic/src/main/kinit.c [36df4109:63e27ef] in mainline

File:

• kernel/generic/src/main/kinit.c (modified) (5 diffs)

kernel/generic/src/main/kinit.c

@@ -42 +42 @@
  */
 
+#include <assert.h>
 #include <main/kinit.h>
 #include <config.h>
@@ -60 +61 @@
 #include <print.h>
 #include <log.h>
-#include <memstr.h>
+#include <mem.h>
 #include <console/console.h>
 #include <interrupt.h>
 #include <console/kconsole.h>
-#include <security/cap.h>
+#include <security/perm.h>
 #include <lib/rd.h>
 #include <ipc/ipc.h>
-#include <debug.h>
 #include <str.h>
 #include <sysinfo/stats.h>
@@ -240 +240 @@
                         name = "<unknown>";
                 
-                STATIC_ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
+                static_assert(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN, "");
                 str_cpy(namebuf, TASK_NAME_BUFLEN, INIT_PREFIX);
                 str_cpy(namebuf + INIT_PREFIX_LEN,
@@ -251 +251 @@
                     init.tasks[i].size,
                     PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE);
-                ASSERT(page);
+                assert(page);
                 
                 int rc = program_create_from_image((void *) page, namebuf,
@@ -259 +259 @@
                         if (programs[i].task != NULL) {
                                 /*
-                                 * Set capabilities to init userspace tasks.
+                                 * Set permissions to init userspace tasks.
                                  */
-                                cap_set(programs[i].task, CAP_CAP | CAP_MEM_MANAGER |
-                                    CAP_IO_MANAGER | CAP_IRQ_REG);
+                                perm_set(programs[i].task,
+                                    PERM_PERM | PERM_MEM_MANAGER |
+                                    PERM_IO_MANAGER | PERM_IRQ_REG);
                                 
                                 if (!ipc_phone_0) {