summaryrefslogtreecommitdiff
path: root/kernel/main.c
diff options
context:
space:
mode:
authorRobert Morris <[email protected]>2019-09-03 16:29:48 -0400
committerRobert Morris <[email protected]>2019-09-03 16:29:48 -0400
commit25e113138d677eacb8f2ce872ca7ff7596ae44e0 (patch)
treec565f732e0113cb8f5fbb54ecb36e379690d6485 /kernel/main.c
parent9b9e2dd0f24428659d1f931009dd6429a9f5f1ac (diff)
downloadxv6-labs-25e113138d677eacb8f2ce872ca7ff7596ae44e0.tar.gz
xv6-labs-25e113138d677eacb8f2ce872ca7ff7596ae44e0.tar.bz2
xv6-labs-25e113138d677eacb8f2ce872ca7ff7596ae44e0.zip
sfence.vma in trampoline as well
Diffstat (limited to 'kernel/main.c')
-rw-r--r--kernel/main.c4
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