X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fnormal.lds;h=cc6d6c03a60791071ba91663cfdaaebee67dbb78;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=e4ca5db3312d4852fb71281440afc25207267772;hpb=5780c9f434cca090f88463b7f0199d49b4ded288;p=pintos-anon

diff --git a/src/lib/user/normal.lds b/src/lib/user/normal.lds
index e4ca5db..cc6d6c0 100644
--- a/src/lib/user/normal.lds
+++ b/src/lib/user/normal.lds
@@ -5,6 +5,7 @@ ENTRY(_start)
 SECTIONS
 {
   /* Read-only sections, merged into text segment: */
+  __executable_start = 0x08048000 + SIZEOF_HEADERS;
   . = 0x08048000 + SIZEOF_HEADERS;
   .text : { *(.text) } = 0x90
   .rodata : { *(.rodata) }