From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <000901bfe7f2$25d23be0$4607a8c0@LocalHost>
From: "Gong Zhuo" <gongzhuo@163.net>
To: "Linux PPC Mailing List" <linuxppc-embedded@lists.linuxppc.org>
Subject: How to debug the linux kernel?
Date: Fri, 7 Jul 2000 17:01:46 +0800
MIME-Version: 1.0
Content-Type: text/plain;
	charset="gb2312"
Sender: owner-linuxppc-embedded@lists.linuxppc.org
List-Id: <linuxppc-embedded@lists.linuxppc.org>


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/