bios/rombios32.ld

   1 OUTPUT_FORMAT("elf32-i386", "elf32-i386", "elf32-i386")
   2 OUTPUT_ARCH(i386)
   3 ENTRY(_start);
   4 SECTIONS
   5 {
   6         . = 0x000e0000;
   7         .text     : { *(.text)    }
   8         .rodata    : { *(.rodata*) }
   9         _end = . ;
  10         .data 0x700 : AT (_end) { __data_start = .; *(.data); __data_end = .;}
  11         .bss      : { __bss_start = .; *(.bss) *(COMMON); __bss_end = .;}
  12         /DISCARD/ : { *(.stab)
  13                      *(.stabstr)
  14                      *(.comment)
  15                      *(.note)
  16                   }
  17 }