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=28721e2832a27a73c895a98daa89cd47471027e9;hb=3464ff25514b2c58209180b7831090ea167b9bc5;hp=3b7f8b1f0e789b6414d096d73e7b522630440526;hpb=1a9c8950f6f40cd7522aee8c326f0889b3aa959f;p=pintos-anon

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index 3b7f8b1..28721e2 100644
--- a/src/threads/kernel.lds.S
+++ b/src/threads/kernel.lds.S
@@ -11,7 +11,7 @@ SECTIONS
   _start = .;
 
   /* Kernel starts with code, followed by read-only data and writable data. */
-  .text : { *(.start) *(.text) } = 0x9090
+  .text : { *(.start) *(.text) } = 0x90
   .rodata : { *(.rodata) *(.rodata.*) }
   .data : { *(.data) }