kgdb, kdb の使い方と、カーネルデバッガーの内部