X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fkernel.lds.S;h=ce5d23d39b38f395b9580fb3dd78c8bfbc046b6f;hb=dfb64e1c2e16f8e5183de565bd4819d875379cee;hp=b911b29fa45853714f6e069468c1cdd8b4f20b9d;hpb=b413e78bacc4a0331191e581cd060281ba47c54a;p=pintos-anon

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index b911b29..ce5d23d 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 : { *(.text) } = 0x9090
+  .text : { *(.start) *(.text) } = 0x9090
   .rodata : { *(.rodata) *(.rodata.*) }
   .data : { *(.data) }