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/