[okl4-developer] kernel and application debugging

[Stefan M. Petters]

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.html
In 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!