X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Floader.S;h=42f489979dff15704d4cd3efa023c9954f03913b;hb=b0a700d18f0a0a8c87e1a4fff3a2108e0edb0fbc;hp=e87a6c6530a3c3b2550b9376c94750d25942d5e3;hpb=b82bd44f0327c6853f466fad27edc3d4707aea73;p=pintos-anon

diff --git a/src/threads/loader.S b/src/threads/loader.S
index e87a6c6..42f4899 100644
--- a/src/threads/loader.S
+++ b/src/threads/loader.S
@@ -39,7 +39,7 @@
  */
 
 #include "threads/loader.h"
-#include "threads/mmu.h"
+/*#include "threads/mmu.h"*/
 	
 #### Kernel loader.
 
@@ -133,14 +133,16 @@ start:
 	rep stosl
 
 # Set PDEs for 0 and LOADER_PHYS_BASE to point to the page table.
+# See comments near the PG_* macros in paging.h for a description of
+# the values stored here.
 
-	movl $0x11000 | PG_U | PG_W | PG_P, %eax
+	movl $0x11007, %eax
 	movl %eax, %es:0
 	movl %eax, %es:LOADER_PHYS_BASE >> 20
 
 # Initialize page table.
 
-	movl $PG_U | PG_W | PG_P, %eax
+	movl $7, %eax
 	movl $0x400, %ecx
 1:	stosl
 	addl $0x1000, %eax