binary naming

Norman Feske norman.feske at ...1...
Wed Oct 25 11:39:51 CEST 2017

Hi Johannes,

for bootstrapping core, I'd create a custom (statically compiled)
program that merely performs a 'chdir /genode' followed by 'execve
'/genode/core'. This keeps core clean of the bootstrapping magic. This
bootstrapping program can be called '/init' whereas everything
Genode-related resides as '/genode/'.

I have no good idea about the segfault though. It definitely happens in
init, not core because the fault occurs in '', which is not
used by core. You may inspect the debug version of the binary
(using 'objdump -lSd debug/') at the faulting ip. The
offset from the start of '' can be calculated by
subtracting the load address of (as reported by the kernel)
from the ip of the fault.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list