From 25e113138d677eacb8f2ce872ca7ff7596ae44e0 Mon Sep 17 00:00:00 2001 From: Robert Morris Date: Tue, 3 Sep 2019 16:29:48 -0400 Subject: sfence.vma in trampoline as well --- kernel/main.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'kernel/main.c') 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 -- cgit v1.2.3