binary naming

Johannes Kliemann Johannes.Kliemann at ...250...
Wed Nov 1 14:01:19 CET 2017

Hi Norman,

just a follow up question: instead of putting a prebuilt binary of init
into the repo I want to build it from source. Yet I haven't found out
how to tell the build system to build it with completely custom options
preferably via the I tried to set CFLAGS and LDFLAGS there
but the build system still does it's own linking which makes the binary
segfaulting if executed on the host.
Is there a way to do this or do I need to build it externally?


Am 26.10.2017 um 13:39 schrieb Johannes Kliemann:
> 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].
> Regards,
> Johannes
> [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
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites,!
> _______________________________________________
> genode-main mailing list
> genode-main at

More information about the users mailing list