Changes in kernel/generic/src/main/main.c [9e40355e:dabbe28] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -89 +89 @@
 #include <lib/ra.h>
 
-/* Ensure [u]int*_t types are of correct size.
- *
- * Probably, this is not the best place for such tests
- * but this file is compiled on all architectures.
- */
-#define CHECK_INT_TYPE_(signness, size) \
-        STATIC_ASSERT_VERBOSE(sizeof(signness##size##_t) * 8 == size, \
-            #signness #size "_t does not have " #size " bits");
-
-#define CHECK_INT_TYPE(size) \
-        CHECK_INT_TYPE_(int, size); \
-        CHECK_INT_TYPE_(uint, size)
-
-CHECK_INT_TYPE(8);
-CHECK_INT_TYPE(16);
-CHECK_INT_TYPE(32);
-CHECK_INT_TYPE(64);
-
 /** Global configuration structure. */
 config_t config = {
@@ -294 +276 @@
          * Create the first thread.
          */
-        thread_t *kinit_thread = thread_create(kinit, NULL, kernel,
-            THREAD_FLAG_UNCOUNTED, "kinit");
+        thread_t *kinit_thread =
+            thread_create(kinit, NULL, kernel, 0, "kinit", true);
         if (!kinit_thread)
                 panic("Cannot create kinit thread.");