summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Morris <[email protected]>2019-08-01 14:59:20 -0400
committerRobert Morris <[email protected]>2019-08-01 14:59:20 -0400
commitfb8a0099d48643775d0bca626af1a73a3ab618a4 (patch)
treecdef09fb76d61bc9cb1bfb15141ca74093ad0eee
parent77da01abb147e0c5a1312d26e2c022296a93d7d5 (diff)
downloadxv6-labs-fb8a0099d48643775d0bca626af1a73a3ab618a4.tar.gz
xv6-labs-fb8a0099d48643775d0bca626af1a73a3ab618a4.tar.bz2
xv6-labs-fb8a0099d48643775d0bca626af1a73a3ab618a4.zip
fences for starting
-rw-r--r--kernel/main.c2
1 files changed, 2 insertions, 0 deletions
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