diff options
| author | Robert Morris <[email protected]> | 2019-08-01 14:59:20 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2019-08-01 14:59:20 -0400 |
| commit | fb8a0099d48643775d0bca626af1a73a3ab618a4 (patch) | |
| tree | cdef09fb76d61bc9cb1bfb15141ca74093ad0eee | |
| parent | 77da01abb147e0c5a1312d26e2c022296a93d7d5 (diff) | |
| download | xv6-labs-fb8a0099d48643775d0bca626af1a73a3ab618a4.tar.gz xv6-labs-fb8a0099d48643775d0bca626af1a73a3ab618a4.tar.bz2 xv6-labs-fb8a0099d48643775d0bca626af1a73a3ab618a4.zip | |
fences for starting
| -rw-r--r-- | kernel/main.c | 2 |
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 |