diff options
| -rw-r--r-- | kern/startup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/startup.c b/kern/startup.c index b1791fcb..d87d7c9e 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -183,7 +183,6 @@ void setup_main(void) (void) thread_create(kernel_task, &startup_thread); thread_start(startup_thread, start_kernel_threads); - while(1); /* * Give it a kernel stack. @@ -247,6 +246,7 @@ void start_kernel_threads(void) */ start_other_cpus(); + while(1); #endif /* NCPUS > 1 */ /* |