Move pagedir stuff into userprog.
[pintos-anon] / src / threads / kernel.lds.S
index ce5d23d39b38f395b9580fb3dd78c8bfbc046b6f..3b7f8b1f0e789b6414d096d73e7b522630440526 100644 (file)
@@ -1,4 +1,4 @@
-#include "loader.h"
+#include "threads/loader.h"
 
 OUTPUT_FORMAT("elf32-i386")
 OUTPUT_ARCH("i386")