On 01/13/15 12:46, Joachim Thiemann wrote:
Hi,
[snip]
On a related note, can someone tell me how to load a kernel with debugging symbols on the Pi? objcopy -O binary seems to always strip all that even if I specify -S and/or --debugging.
What are you trying to do? ddb has symbols with the standard kernel. Nick