X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Finit.c;h=f8c5f5ad20ed2898eb8641e439e229f9fedc0d4d;hb=3fc16f6e9abc98a3bd5427eb210669860609a224;hp=453543f5ddde839e57f1904d0afd5907a9692374;hpb=540641a18c65c05df757ced2f225ade578da15aa;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 453543f..f8c5f5a 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -14,6 +14,9 @@
 #include "thread.h"
 #include "timer.h"
 #include "vga.h"
+#ifdef FILESYS
+#include "filesys.h"
+#endif
 
 /* Size of kernel static code and data, in 4 kB pages. */
 size_t kernel_pages;
@@ -38,7 +41,7 @@ tfunc (void *aux UNUSED)
           printk ("%s exiting\n", thread_current ()->name);
           break;
         }
-      count = random_ulong () % 25 * 1000000;
+      count = random_ulong () % 25 * 10000;
       printk ("%s waiting %zu: ", thread_current ()->name, count);
       for (i = 0; i < count; i++);
       printk ("%s\n", thread_current ()->name);
@@ -78,7 +81,10 @@ main (void)
   intr_init ();
   timer_init ();
   kbd_init ();
-  intr_enable ();
+
+#ifdef FILESYS
+  filesys_init (false);
+#endif
 
   thread_init ();