How to debug the linux kernel?

Gong Zhuo gongzhuo at
Fri Jul 7 19:01:46 EST 2000

  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

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

More information about the Linuxppc-embedded mailing list