How to debug the linux kernel?

Graham Stoney greyham at
Sat Jul 8 10:27:50 EST 2000

Gong Zhuo writes:
>   If I want to change the kernel of linux , how can I debug the kernel ? Any
> kind of tools can I use? Any URL I can read?

Try the debugging section of the HOWTO at:

Graham Stoney
Principal Hardware/Software Engineer
Canon Information Systems Research Australia
Ph: +61 2 9805 2909  Fax: +61 2 9805 2929

** Sent via the linuxppc-embedded mail list. See

More information about the Linuxppc-embedded mailing list