Changes in kernel/generic/src/main/kinit.c [1cf26ab:b2fa1204] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -79 +79 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
-#include <synch/workqueue.h>
-#include <synch/rcu.h>
 
 #define ALIVE_CHARS  4
@@ -107 +105 @@
          */
         thread_detach(THREAD);
-
+        
         interrupts_disable();
-        
-        /* Start processing RCU callbacks. RCU is fully functional afterwards. */
-        rcu_kinit_init();
-        
-        /*
-         * Start processing work queue items. Some may have been queued during boot.
-         */
-        workq_global_worker_init();
         
 #ifdef CONFIG_SMP
@@ -240 +230 @@
                         name = "<unknown>";
                 
-                STATIC_ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
+                ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
                 str_cpy(namebuf, TASK_NAME_BUFLEN, INIT_PREFIX);
                 str_cpy(namebuf + INIT_PREFIX_LEN,