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