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