On Tue, 10 Nov 2020 at 10:40, Stefan Kalkowski stefan.kalkowski@genode-labs.com wrote:
Hi Michael,
I just answered to you in the IRC channel. I could imagine that access to the GIC is the actual problem, because this is done in _arch_init() inside of the Cpu constructor.
Can you confirm, that you can proceed at least behind the Cpu construction if you uncomment the line:
repos/base-hw/src/core/spec/arm_v8/kernel/cpu.cc:20
or not?
Not.. I have checked all related constructors , and non seems to get called. I somewhat suspect cpu constructor isn't called.
MIchael