From fb8a0099d48643775d0bca626af1a73a3ab618a4 Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Thu, 1 Aug 2019 14:59:20 -0400
Subject: fences for starting
---
kernel/main.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/kernel/main.c b/kernel/main.c
index efdf277..077f645 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -26,10 +26,12 @@ main()
fileinit(); // file table
virtio_disk_init(); // emulated hard disk
userinit(); // first user process
+ __sync_synchronize();
started = 1;
} else {
while(started == 0)
;
+ __sync_synchronize();
printf("hart %d starting\n", cpuid());
kvminithart(); // turn on paging
trapinithart(); // install kernel trap vector
--
cgit v1.2.3