Changeset ce732e74 in mainline for kernel/generic/src/main/main.c

Timestamp:

2017-10-12T17:59:31Z (7 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d51838f

Parents:

d29ae35

Message:

Allocate capabilities from a dedicated slab cache

File:

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

kernel/generic/src/main/main.c

@@ -92 +92 @@
 #include <sysinfo/stats.h>
 #include <lib/ra.h>
+#include <cap/cap.h>
 
 /* Ensure [u]int*_t types are of correct size.
@@ -277 +278 @@
         timeout_init();
         scheduler_init();
+        caps_init();
         task_init();
         thread_init();