Changes in kernel/generic/src/main/main.c [ce732e74:3b3faf51] 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 <assert.h>
+#include <debug.h>
 #include <config.h>
 #include <time/clock.h>
@@ -92 +91 @@
 #include <sysinfo/stats.h>
 #include <lib/ra.h>
-#include <cap/cap.h>
 
 /* Ensure [u]int*_t types are of correct size.
@@ -100 +98 @@
  */
 #define CHECK_INT_TYPE_(signness, size) \
-        static_assert(sizeof(signness##size##_t) * 8 == size, \
+        STATIC_ASSERT_VERBOSE(sizeof(signness##size##_t) * 8 == size, \
             #signness #size "_t does not have " #size " bits");
 
@@ -278 +276 @@
         timeout_init();
         scheduler_init();
-        caps_init();
         task_init();
         thread_init();