I tried to debug Fiasco OC + L4Re + L4Linux

using a DS-5 IDE and a DSTREAM JTAG on an i.MX 6 device.

I was able to do a step-by-step through the source code of L4RE until

I reach the " virtual void boot_kernel(unsigned long entry) "

function in support.h (see screenshot 1) which is the function in L4Re that enters the Fiasco

kernel, from there when I execute a "step into" action in order to execute the next

instruction which is in Fiasco kernel the debugger go into "running" mode (see screenshot 2).

I am unable to do a step-by-step walk neither in the Fiasco kernel nor

in l4linux source code.

Stopping the debugger after that do only give a disassembly information.

Is it possible to debug all the Fiasco OC + L4Re + L4Linux together?

Are there any debugger configurations that I might be missing?

Many thanks in advance.

Best regards,

Mahdi