TDA4 + XDS200

bangfei zong

Hi，Expert：

① Can I use xds200 to debug the Linux kernel code of tda4 ？

② Is there a procedure document related to debugging the kernel ？

③ Now, we loading the vmlinux file symbols using xdc200, it always prompt "no source available xxx " . What is the reason?

Thanks

0 Parth Nagpal over 3 years ago

Hi,

Please check the documentations below, these should help:

Regards,
Parth

0 bangfei zong over 3 years ago in reply to Parth Nagpal

Hi,

I have read this document. This document mainly introduces SPL and uboot。

I want to know how to debug the linux kernel.

Can you share us some documentations ?

Thanks

0 Parth Nagpal over 3 years ago in reply to bangfei zong

Hi,

I am not sure if we have any documentation on TI side. You can try using GDB for your purposes. https://www.kernel.org/doc/html/latest/dev-tools/gdb-kernel-debugging.html

Regards,
Parth

0 Chester Gillon over 3 years ago in reply to bangfei zong

Guru 92251 points

bangfei zong said:
I want to know how to debug the linux kernel.

Do the following help?

+1 bangfei zong over 3 years ago in reply to Chester Gillon

Thanks for your reply

Code Composer Studio forum