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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
