Only need single 0x90.

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

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index ce5d23d39b38f395b9580fb3dd78c8bfbc046b6f..28721e2832a27a73c895a98daa89cd47471027e9 100644 (file)
--- a/src/threads/kernel.lds.S
+++ b/src/threads/kernel.lds.S
@@ -1,4 +1,4 @@
-#include "loader.h"
+#include "threads/loader.h"
 
 OUTPUT_FORMAT("elf32-i386")
 OUTPUT_ARCH("i386")
@@ -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) }