"Core" thread doesn't become active in kernel initialization

[Bob Stewart]

Hi,

     I'm bringing up Genode (15.05) on an TI AM437x SoC and it is 
failing kernel initialization. The initialization appears go ok until 
the call to init_kernel_mp_primary(). Once the Core_thread singleton is 
created the last printf output that appears is one I inserted after the 
call to to _become_active() in the constructor. A printf inserted into 
the singleton method after the Core_thread creation never shows up on 
the console. The initialization never completes.

The AM437x is a Cortex-A9MP platform with a single core. It is very 
similar to the Panda board as far as memory mapping goes.

Any hints on how to debug this situation further would be very helpful.

Thanks,
         Bob Stewart