diff options
| -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 |