update

[l4.git] / kernel / fiasco / src / kernel.arm.ld

diff --git a/kernel/fiasco/src/kernel.arm.ld b/kernel/fiasco/src/kernel.arm.ld
index 3706a6e1068c599f923e4e79ec1cf60ce5f80db7..ed92163f15a65be928736151f75409b43cad362b 100644 (file)
--- a/kernel/fiasco/src/kernel.arm.ld
+++ b/kernel/fiasco/src/kernel.arm.ld
@@ -79,6 +79,10 @@ SECTIONS {
     . = ALIGN(4K);
   }
 
+  .koptions : AT (ADDR(.koptions) - phys_offset) {
+    *(.koptions)
+  }
+
   .mp_tramp : AT (ADDR(.mp_tramp) - phys_offset) {
     KEEP(*(.mp_tramp))
   }