Genode 16.08 nova.iso rebooting on real Core 2 Duo after relocating modules

[Paul Dufresne]

Ok, I think I am pretty much doing things almost like you guys now.

I figure out the line that make my computer reboot :
in ~/genode/contrib/nova-8a5f311017becf7becd1dc325a388036b76215fc/src/kernel/nova/src/init.cpp

/****
extern "C" INIT REGPARM (1)
void init (mword mbi)
{

    // Setup 0-page and 1-page
    memset (reinterpret_cast<void *>(&PAGE_0),  0,  PAGE_SIZE);
    memset (reinterpret_cast<void *>(&PAGE_1), ~0u, PAGE_SIZE);

//    Console::print ("paul1");
    for (void (**func)() = &CTORS_G; func != &CTORS_E; (*func++)()) ;
while(1);
****/

with the while(1) before the for line, the computer 'hang'.
with the while(1) after, it reboots.

Now I guess I need help to figure out which function (where are they anyway?).