diff options
| author | Richard Braun <rbraun@sceen.net> | 2014-05-14 20:27:44 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2014-05-14 20:27:44 +0200 |
| commit | 44602296bde615ac733f15e9f9f91d820b10e2d1 (patch) | |
| tree | 7e00965e931921a5cba8016cddbc18bfbed694cc /kern/kernel.c | |
| parent | 8d7c92193b3f887c3ebe3d844786a2c435edbec3 (diff) | |
Print vm_page info at the end of kernel bootstrap
Diffstat (limited to 'kern/kernel.c')
| -rw-r--r-- | kern/kernel.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/kernel.c b/kern/kernel.c index 62d75b52..658c18d1 100644 --- a/kern/kernel.c +++ b/kern/kernel.c @@ -25,6 +25,7 @@ #include <kern/thread.h> #include <kern/work.h> #include <machine/cpu.h> +#include <vm/vm_page.h> void __init kernel_main(void) @@ -53,6 +54,8 @@ kernel_main(void) */ cpu_mp_setup(); + vm_page_info(); + thread_run_scheduler(); /* Never reached */ |