From 25e113138d677eacb8f2ce872ca7ff7596ae44e0 Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
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