#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 ();
-
- thread_init ();
-#if 0
- printk ("running semaphore test... ");
- sema_self_test ();
- printk (" done.\n");
+#ifdef FILESYS
+ filesys_init (false);
#endif
+ thread_init ();
+
{
struct thread *t;
int i;