With KGDB, kernel developers can debug a kernel in much the same way as they debug application programs.
kgdbを使い、カーネル開発者は、アプリケーション・プログラムのようにカーネルをデバッグできる。