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?).