Fix issue reported by Godmar Back:

[pintos-anon] / src / threads / kernel.lds.S

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index 3b7f8b1f0e789b6414d096d73e7b522630440526..437ced3eb4a0e00553452c9857e330d1fde3bc7d 100644 (file)
--- a/src/threads/kernel.lds.S
+++ b/src/threads/kernel.lds.S
@@ -11,8 +11,9 @@ 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. */