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" 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