the output of utility:

test-go:     file format elf64-x86-64

Program Header:
    PHDR off    0x0000000000000040 vaddr 0x0000000000001040 paddr 0x0000000000000000 align 2**3
         filesz 0x0000000000000150 memsz 0x0000000000000150 flags r--
  INTERP off    0x0000000000001000 vaddr 0x0000000000000000 paddr 0x0000000000000000 align 2**0
         filesz 0x000000000000000a memsz 0x000000000000000a flags r--
    LOAD off    0x0000000000001000 vaddr 0x0000000000000000 paddr 0x0000000000000000 align 2**12
         filesz 0x000000000000023c memsz 0x000000000000023c flags r--
    LOAD off    0x0000000000002000 vaddr 0x0000000000001000 paddr 0x0000000000001000 align 2**12
         filesz 0x0000000000000100 memsz 0x0000000000000100 flags rw-
 DYNAMIC off    0x0000000000002028 vaddr 0x0000000000001028 paddr 0x0000000000001028 align 2**3
         filesz 0x00000000000000d8 memsz 0x00000000000000d8 flags rw-
EH_FRAME off    0x0000000000001230 vaddr 0x0000000000000230 paddr 0x0000000000000230 align 2**2
         filesz 0x000000000000000c memsz 0x000000000000000c flags r--

Dynamic Section:
  NEEDED               ld.lib.so
  HASH                 0x0000000000000010
  STRTAB               0x0000000000000190
  SYMTAB               0x0000000000000058
  STRSZ                0x000000000000009f
  SYMENT               0x0000000000000018
  DEBUG                0x0000000000000000



5 авг. 2019 г., в 12:59, Christian Helmuth <christian.helmuth@genode-labs.com> написал(а):

Hello Alexander,

 genode-x86-objdump -p bin/test-log


Also may I ask if test-go is a custom application (and if it uses Go
as the binary name hints)?

yes, this is custom application which compiled separately and linked by gccgo instead of g++ from the same bootstrap genode gcc compiler suit

this is link command line (while some addresses are cut - everything except libgcc.a taken from the locally compiled bootstrap infrastructure (taken from make -C build/x86_64/ KERNEL=sel4 test/app result)

genode/tool/19.05/bin/genode-x86-gccgo -static -Wl,-melf_x86_64 -Wl,-gc-sections -Wl,-z -Wl,max-page-size=0x1000 -Wl,--dynamic-list=genode/repos/base/src/ld/genode_dyn.dl -nostdlib -Wl,-nostdlib -Wl,-Ttext=0x01000000 -m64 -mcmodel=large -Wl,--dynamic-linker=ld.lib.so -Wl,--eh-frame-hdr -Wl,-rpath-link=. -Wl,-T -Wl,genode/repos/base/src/ld/genode_dyn.ld -Wl,--whole-archive -Wl,--start-group main.o $libs/base/base.lib.a ld.lib.so  -Wl,--no-whole-archive -Wl,--end-group /usr/local/genode/tool/19.05/bin/../lib/gcc/x86_64-pc-elf/8.3.0/64/libgcc.a -o test-go

anything wrong here?