- * Create a kernel thread to start the other kernel
- * threads. Thread_resume (from kernel_thread) calls
- * thread_setrun, which may look at current thread;
- * we must avoid this, since there is no current thread.
- */
- startup_thread = kernel_thread_with_priority(kernel_task, MAXPRI_KERNBAND,
- start_kernel_threads, FALSE);
-
- /*
- * Pretend it is already running, and resume it.
- * Since it looks as if it is running, thread_resume
- * will not try to put it on the run queues.
- *
- * We can do all of this without locking, because nothing
- * else is running yet.
- */
- startup_thread->state = TH_RUN;
- (void) thread_resume(startup_thread->top_act);
- /*
- * Start the thread.