X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kernel.ppc32.ld

diff --git a/kernel/fiasco/src/kernel.ppc32.ld b/kernel/fiasco/src/kernel.ppc32.ld
index 95b63a439..db3f67abe 100644
--- a/kernel/fiasco/src/kernel.ppc32.ld
+++ b/kernel/fiasco/src/kernel.ppc32.ld
@@ -10,6 +10,7 @@ PHDRS {
   etextcommon PT_LOAD;
   phys PT_LOAD;
   kip PT_LOAD;
+  koptions PT_LOAD;
   ktext PT_LOAD;
   kdata PT_LOAD;
   kitext PT_LOAD;
@@ -38,6 +39,10 @@ SECTIONS {
     . = ALIGN(4K);
   } : kip = 0
 
+  .koptions : AT (ADDR(.koptions)) {
+    *(.koptions)
+  } : koptions = 0
+
   .mp_tramp : AT (ADDR(.mp_tramp)) {
       KEEP(*(.mp_tramp))
   }