update

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

diff --git a/kernel/fiasco/src/kernel.amd64.ld b/kernel/fiasco/src/kernel.amd64.ld
index 4ef2054654f8019d7005184bba44569c5374d8f3..1db7b669b7a1ddeaa6eb41df1e51d5bd8112f585 100644 (file)
--- a/kernel/fiasco/src/kernel.amd64.ld
+++ b/kernel/fiasco/src/kernel.amd64.ld
@@ -22,6 +22,7 @@ PHDRS {
   btext PT_LOAD;
   bdata PT_LOAD;
   kip PT_LOAD;
+  koptions PT_LOAD;
   ktext PT_LOAD;
   kdata PT_LOAD;
   kitext PT_LOAD;
@@ -67,6 +68,10 @@ SECTIONS {
     . = ALIGN(4K);
   } : kip = 0
 
+  .koptions : AT (ADDR(.koptions) - _fiasco_image_offset) {
+    *(.koptions)
+  } : koptions = 0
+
 #ifdef CONFIG_ALLOW_RO_TEXT
   . = ALIGN(4K);
 #endif