diff options
| -rw-r--r-- | kern/kernel.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/kern/kernel.c b/kern/kernel.c index dc64f076..e5469079 100644 --- a/kern/kernel.c +++ b/kern/kernel.c @@ -39,6 +39,7 @@ kernel_main(void) thread_setup(); work_setup(); llsync_setup(); + vm_page_info(); #ifdef RUN_TEST_MODULE test_setup(); @@ -54,13 +55,11 @@ kernel_main(void) * synchronized requires interrupts (and potentially scheduling) * enabled on all processors. * - * Anything done after this call and before running the scheduler must - * not alter physical mappings. + * It is highly recommended not to do anything else than starting the + * scheduler right after this call. */ cpu_mp_setup(); - vm_page_info(); - thread_run_scheduler(); /* Never reached */ |