Hi,
On Wed, Mar 18, 2015 at 5:08 PM, Robert Kaiser
Hi
Am 18.03.2015 um 17:21 schrieb Hesham ALMatary:
Hi all,
This is most likely a straight forward question: how can I get debugging symbols for the final image (if possible)?
I am configuring/compiling seL4tests for example with "make kzm_simulation_debug_xml_defconfig", etc. And when I try to dump the generated "sel4test-driver-image-arm-imx31" content with "arm-none-eabi-objdump" command, I can't find any debugging symbols (function/variable names) although debugging flags are set.
That file contains several things besides the kernel and fsymbols have been stripped from all these items.
Look for a file named "kernel.elf" under "build/kernel"
Thanks!
Cheers
Robert
If the previous question is not valid, then how can I debug the generated image using QEMU/gdb if possible? and trace the program execution beginning from _start? Other solutions for debugging are appreciated.
Thanks in advance.
-- Robert Kaiser
Computer Engineering RheinMain University of Applied Sciences
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-- Hesham