Subject: How to debug the linux kernel?

From: "Gong Zhuo" <[email-masked]>
Date: Fri, 7 Jul 2000 17:01:46 +0800

Hi:
  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 http://lists.linuxppc.org/