Changes in kernel/generic/src/main/main.c [3b3faf51:ce732e74] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -48 +48 @@
 
 #include <arch/asm.h>
+#include <debug.h>
 #include <context.h>
 #include <print.h>
 #include <panic.h>
-#include <debug.h>
+#include <assert.h>
 #include <config.h>
 #include <time/clock.h>
@@ -91 +92 @@
 #include <sysinfo/stats.h>
 #include <lib/ra.h>
+#include <cap/cap.h>
 
 /* Ensure [u]int*_t types are of correct size.
@@ -98 +100 @@
  */
 #define CHECK_INT_TYPE_(signness, size) \
-        STATIC_ASSERT_VERBOSE(sizeof(signness##size##_t) * 8 == size, \
+        static_assert(sizeof(signness##size##_t) * 8 == size, \
             #signness #size "_t does not have " #size " bits");
 
@@ -276 +278 @@
         timeout_init();
         scheduler_init();
+        caps_init();
         task_init();
         thread_init();