diff options
Diffstat (limited to 'kernel/main.c')
| -rw-r--r-- | kernel/main.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/main.c b/kernel/main.c index a936fd3..5d7ad49 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -13,7 +13,9 @@ main() if(cpuid() == 0){ consoleinit(); printfinit(); - printf("hart %d starting\n", cpuid()); + printf("\n"); + printf("xv6 kernel is booting\n"); + printf("\n"); kinit(); // physical page allocator kvminit(); // create kernel page table kvminithart(); // turn on paging |