#include "threads/flags.h"
#include "threads/interrupt.h"
#include "threads/intr-stubs.h"
-#include "threads/mmu.h"
#include "threads/palloc.h"
#include "threads/switch.h"
#include "threads/synch.h"
+#include "threads/vaddr.h"
#ifdef USERPROG
#include "userprog/process.h"
#endif
void
thread_start (void)
{
- thread_create ("idle", PRI_MAX, idle, NULL);
+ thread_create ("idle", PRI_MIN, idle, NULL);
intr_enable ();
}