How do debug the kernel?

[windernest]

I use kdump to debug the kernel in a x-86 pc. I had thought it is the same way to do that in the raspberry pi. But I can not install the kdump.

Code: Select all

sudo apt-get install kdump-tools

Code: Select all

The following packages have unmet dependencies:
kdump-tools: Depends: makedumpfile but it is not installable