X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fkernel.lds.S;h=6154d08dd93bec35c0e2db890b5766e81484ec58;hb=6f7be4d89547dd7f9801f518e52572046a113daf;hp=3b7f8b1f0e789b6414d096d73e7b522630440526;hpb=b0a700d18f0a0a8c87e1a4fff3a2108e0edb0fbc;p=pintos-anon

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index 3b7f8b1..6154d08 100644
--- a/src/threads/kernel.lds.S
+++ b/src/threads/kernel.lds.S
@@ -11,8 +11,10 @@ SECTIONS
   _start = .;
 
   /* Kernel starts with code, followed by read-only data and writable data. */
-  .text : { *(.start) *(.text) } = 0x9090
-  .rodata : { *(.rodata) *(.rodata.*) }
+  .text : { *(.start) *(.text) } = 0x90
+  .rodata : { *(.rodata) *(.rodata.*) 
+	      . = ALIGN(0x1000); 
+	      _end_kernel_text = .; }
   .data : { *(.data) }
 
   /* BSS (zero-initialized data) is after everything else. */