Q: Raspberry Pi OSで任意のカーネルヘッダを取得する方法

[apt update]などのコマンドでリストを更新すると、最新カーネルヘッダーがインストールできます。

UbuntuやRedHatはカーネルヘッダー取得用コマンドでカーネルヘッダーのバージョンを指定することができます。
しかしながら、Raspbery Pi OSは最新のカーネルヘッダーしか取得できません。

当社としては、API-TOOL(LNX)で動作確認済カーネルヘッダーの利用をお奨めします。
下記コマンドで、利用中のカーネルバージョンや、カーネルヘッダーのバージョンが確認できます。

dpkg -l | grep raspberrypi-kernel

任意のカーネルヘッダーをインストールする方法

１．以下URLから、希望するカーネルヘッダーを含む「debファイル」をダウンロードします。

２．ダウンロードした「debファイル」をインストールしたいRaspberry Pi OSにコピーして、以下コマンドを実行します。

　　sudo dpkg -i "debファイル名"

３．以下のコマンドで、Raspberry Pi OSで任意のカーネルヘッダーをインストールします。

　　sudo apt-get install raspberrypi-kernel-headers

1. debファイルを展開します。

2. 展開されたファイルのlib/moduleディレクトリ内にカーネルバージョンのフォルダがあります。
　フォルダ名を、ご確認ください。