junsu has pointed a cool article to me. This article described a Linux kernel debugger, KDB, which seems to be useful even for reference on other kernel debugging issues.