Re: scupt-tc real hardware: 0/3

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