binary naming

Johannes Kliemann Johannes.Kliemann at ...250...
Thu Oct 26 13:39:17 CEST 2017

Hi Norman,

using a separate init to chdir also made the segfault disappear and I 
can now successfully run the timer test on Linux [1].



On 10/25/17 11:39, Norman Feske wrote:
> 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.
> Cheers
> Norman

More information about the users mailing list