カーネルのクラッシュダンプは ddd のようなグラフィカルな デバッガで調べることもできます. 通常はコマンドラインで -k オプションをつけてddd を起動します. たとえば:
ddd
-k
ddd -k /var/crash/kernel.0 /var/crash/vmcore.0
DDD