Use Linux kernel trick of giving an .lds file a .S extension to get it

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

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
new file mode 100644 (file)
index 0000000..b5426e0
--- /dev/null
+++ b/src/threads/kernel.lds.S
@@ -0,0 +1,21 @@
+#include "loader.h"
+
+OUTPUT_FORMAT("elf32-i386")
+OUTPUT_ARCH("i386")
+ENTRY(start)
+SECTIONS
+{
+  . = LOADER_PHYS_BASE + LOADER_KERN_BASE;
+
+  _start = .;
+
+  .text : { *(.text) } = 0x9090
+  .rodata : { *(.rodata) *(.rodata.*) }
+  .data : { *(.data) }
+
+  _start_bss = .;
+  .bss : { *(.bss) }
+  _end_bss = .;
+
+  _end = .;
+}