MariusMatutiae からの回答は、私が期待していたものとはまったく異なりましたが、カーネル ビルド スクリプトのいくつかを調べて、実行可能な解決策を見つけました。結果の debian パッケージを生成するスクリプトは scripts/package/builddeb です .このスクリプトを見ると、デバッグ シンボルを使用してパッケージをビルドする部分が、BUILD_DEBUG に依存する条件で囲まれています。 指定された KCONFIG を grep します CONFIG_DEBUG_INFO=y の場合 .
したがって、デバッグ シンボルを含む debian パッケージの生成を停止するには、現在、カーネル CONFIG_DEBUG_INFO を無効にする必要があります。 オプション:
CONFIG_DEBUG_INFO=n
カーネルハンドブックはこれを提案しています:
<ブロック引用>CONFIG_DEBUG_INFO オプションが無効になっている場合、ビルドはより少ないディスク容量を使用します。 Debuginfo は、カーネルでクラッシュ、kgdb、SystemTap などのバイナリ オブジェクト ツールを使用する場合にのみ必要です。
これは、次のコマンドで実現できます:
cd linux-source-4.12
scripts/config --disable DEBUG_INFO