How to debug the linux kernel?

Murray Jensen Murray.Jensen at
Fri Jul 7 20:37:46 EST 2000

On Fri, 7 Jul 2000 17:01:46 +0800, "Gong Zhuo" <gongzhuo at> 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?
>Gong Zhuo

The best way is to use kgdb. Hunt around on the archives for this list, or
look at the HOWTOs, for pointers on how to do this. Cheers!
Murray Jensen, CSIRO Manufacturing Sci & Tech,         Phone: +61 3 9662 7763
Locked Bag No. 9, Preston, Vic, 3072, Australia.         Fax: +61 3 9662 7853
Internet: Murray.Jensen at  (old address was mjj at

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

More information about the Linuxppc-embedded mailing list