第10章 Debian とカーネル

はい。

難点が1つだけあります: Debian C ライブラリはカーネルヘッダの最新の安定版 (stable) リリースでビルドされています。安定版 (stable) ブランチにあるものよりも新しいカーネルヘッダでプログラムをコンパイルする必要がある場合は、ヘッダを収録するパッケージ (linux-libc-dev) をアップグレードするか、展開した新しいカーネルツリーから新しいヘッダを利用する必要があります。というのは、カーネルソースが /usr/src/linux にあるなら、コンパイル時に -I/usr/src/linux/include/ をコマンドラインに追加する必要があるということです。

独自カーネルをビルドしたい (しないといけない) ユーザには、カーネルビルドシステムの最近のバージョンを収録する Debian パッケージを対象として利用することを奨めています。カーネルの設定後、単に

make deb-pkg

を実行します。新しいカーネルパッケージはカーネルソースツリーの1段上のディレクトリに作成され、dpkg -i でインストールすることができます。

最新のカーネル (や選択したカーネル) のソースコードは、linux-source-バージョン (バージョンはカーネルのバージョン) パッケージが利用できない限り、ほとんどがお好みの Linux アーカイブサイトからユーザが個別にダウンロードする必要があります。

ブート時に手作業で読み込むモジュールを収録する設定ファイルは /etc/modules にあります。しかしこのファイルを編集する必要があることはまれです。

Other module configuration is kept in the /etc/modprobe.d/ directory. More information about the format of those files can be found in the modprobe.conf(5) manual page.

はい。linux-image-NNN.prerm スクリプトは現在実行中のカーネルが削除しようとしているカーネルと同一のものなのか確認します。したがって、コマンド

dpkg --purge linux-image-NNN

を使ってカーネルイメージのパッケージを削除できます (もちろん NNN は削除するカーネルのバージョンと改訂番号に置き換えます)。

詳細な情報が Debian Linux Kernel Handbook で保守されています。