Debugging Fiasco OC + L4Re + L4Linux together

Hello,

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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers