Dear Matthew,
yep, debugging symbols are stripped out or mangled. That's a known
problem. See
http://lists.okl4.org/pipermail/developer/2008-April/000943.htmlIn older versions people were able to use the symbols in some binaries,
but I take it that's been lost to some degree.
If you browse the mailing list archives, you will find more info.
Regards,
Stefan.
Matthew Willis wrote:
> I'm getting started with okl4. I'm new to OS and embedded
> development, and I'm trying to get setup with a reasonable debugging
> experience.
>
> I noticed that the skyeye simulator has gdb remote debugging support,
> but when I use this in the naive way the symbols (kernel and
> application) are not found by arm-elf-gdb, even if I change the gcc
> flags for my application to include debugging symbols.
>
> What is the preferred method of debugging by okl4 engineers? What
> about application engineers?
>
> Thank you for your help, and I'm looking forward to participating in
> this community!
_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
