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: [PATCH] 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