scupt-tc real hardware: 0/3

[Paul Dufresne]

I now have found the genode/contrib/nova... directory, and was able to 
pinpoint the problem to:

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);

     for (void (**func)() = &CTORS_G; func != &CTORS_E; (*func++)()) ;
-----------^
that line
while(1) before hang the computer, while(1) after have the computer reboot.

I have a feeling few years ago I had found that this was like the 3th or 
4th index...
But I have like kind no clue how to find the associated code 
(constructor code).