Hi Stefan,
We tried to further to debug call to call as you mentioned . And we find out that the call for
pic( ) in kernel.cc
is reaching to the Grand parent Arm_gic :: Pic constructor.
In constructor _distr ( distr_base), _cpu ( cpu_base) are getting initialized, which is working fine. And whenever functions of _distr and _cpu objects are being called, it's got stuck. like in the initialization part
_distr.max_interrupt( ) is not working.
The same thing is working in Genode version 13.11 but not in 14.05.
Can you suggest some thing to debug this problem ??