Debugging Fiasco OC + L4Re + L4Linux together
foxmehdi at gmail.com
Mon Jun 8 11:51:22 CEST 2015
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
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers