summaryrefslogtreecommitdiff
path: root/kernel/main.c
diff options
context:
space:
mode:
fences for starting
Diffstat (limited to 'kernel/main.c')
-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