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
------------------------------------------------------------------------------
Don't Limit Your Business. Reach for the Cloud.
GigeNET's Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.
https://www.gigenetcloud.com/
_______________________________________________
genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
