Hi, On Wed, Mar 18, 2015 at 5:08 PM, Robert Kaiser <[email protected]> wrote: > 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 > [email protected] > https://sel4.systems/lists/listinfo/devel
-- Hesham _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
