github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/vmm/evmm.x (about)

     1  OUTPUT_FORMAT(elf64-x86-64);
     2  SECTIONS
     3  {
     4    . = 0x70000000;
     5    _start_evmm_text = .;
     6    .text : { *(.text) }
     7    .rodata : { *(.rodata) }
     8    .data : { *(.data) }
     9    .bss : { *(.bss) }
    10    _end_evmm_bss = .;
    11  }