From: Gong Zhuo <hidden> Date: 2000-07-07 09:01:46
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/