X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fkernel.lds.S;fp=src%2Fthreads%2Fkernel.lds.S;h=437ced3eb4a0e00553452c9857e330d1fde3bc7d;hb=e1289bf52f9dbc8da311fe2064af85076edf82b1;hp=28721e2832a27a73c895a98daa89cd47471027e9;hpb=4879d73c341778a907b777da3a6a15a131c5a913;p=pintos-anon

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index 28721e2..437ced3 100644
--- a/src/threads/kernel.lds.S
+++ b/src/threads/kernel.lds.S
@@ -12,7 +12,8 @@ SECTIONS
 
   /* Kernel starts with code, followed by read-only data and writable data. */
   .text : { *(.start) *(.text) } = 0x90
-  .rodata : { *(.rodata) *(.rodata.*) }
+  .rodata : { *(.rodata) *(.rodata.*) . = ALIGN(0x1000); }
+  _end_kernel_text = .;
   .data : { *(.data) }
 
   /* BSS (zero-initialized data) is after everything else. */