#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;
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);
intr_init ();
timer_init ();
kbd_init ();
- intr_enable ();
+
+#ifdef FILESYS
+ filesys_init (false);
+#endif
thread_init ();