update

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

diff --git a/kernel/fiasco/src/kernel.ia32.ld b/kernel/fiasco/src/kernel.ia32.ld
index 91d6ab4e22cb004978235376d2ad05d031c8148e..b08d97b4dc44aac1a51ef5a42c34de2e56621a45 100644 (file)
--- a/kernel/fiasco/src/kernel.ia32.ld
+++ b/kernel/fiasco/src/kernel.ia32.ld
@@ -20,6 +20,7 @@ PHDRS {
   btext PT_LOAD;
   bdata PT_LOAD;
   kip PT_LOAD;
+  koptions PT_LOAD;
   ktext PT_LOAD;
   kdata PT_LOAD;
   kitext PT_LOAD;
@@ -58,6 +59,10 @@ SECTIONS {
     . = ALIGN(4K);
   } : kip = 0
 
+  .koptions : AT (ADDR(.koptions) - _fiasco_image_offset) {
+    *(.koptions)
+  } : koptions = 0
+
 #ifdef CONFIG_ALLOW_RO_TEXT
   . = ALIGN(4K);
 #endif