update

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

diff --git a/kernel/fiasco/src/kernel.ppc32.ld b/kernel/fiasco/src/kernel.ppc32.ld
index 95b63a439d4ec4af4df62f2ebced066ebb6b7f33..db3f67abea7a5840e83c2d2133e0e12558fcec57 100644 (file)
--- 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))
   }