diff options
| author | Sanjit Bhat <[email protected]> | 2023-10-30 14:39:28 -0500 |
|---|---|---|
| committer | Sanjit Bhat <[email protected]> | 2023-10-30 14:39:28 -0500 |
| commit | 3808f903625f42f58aa95e43e3caca3efaa4d118 (patch) | |
| tree | ad8f5a0e376c246cb60c7cd0940517ea834e610e /kernel/main.c | |
| parent | 74c1eba516fdb0ec1a17b16be7e76613ccba92bf (diff) | |
| download | xv6-labs-3808f903625f42f58aa95e43e3caca3efaa4d118.tar.gz xv6-labs-3808f903625f42f58aa95e43e3caca3efaa4d118.tar.bz2 xv6-labs-3808f903625f42f58aa95e43e3caca3efaa4d118.zip | |
lock: release lab
Diffstat (limited to 'kernel/main.c')
| -rw-r--r-- | kernel/main.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/kernel/main.c b/kernel/main.c index f0d3171..48c9555 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -12,6 +12,9 @@ main() { if(cpuid() == 0){ consoleinit(); +#if defined(LAB_LOCK) + statsinit(); +#endif printfinit(); printf("\n"); printf("xv6 kernel is booting\n"); @@ -28,11 +31,18 @@ main() iinit(); // inode table fileinit(); // file table virtio_disk_init(); // emulated hard disk +#ifdef LAB_NET + pci_init(); + sockinit(); +#endif userinit(); // first user process +#ifdef KCSAN + kcsaninit(); +#endif __sync_synchronize(); started = 1; } else { - while(started == 0) + while(atomic_read4((int *) &started) == 0) ; __sync_synchronize(); printf("hart %d starting\n", cpuid()); |