A: [apt update]などのコマンドでリストを更新すると、最新カーネルヘッダーがインストールできます。
UbuntuやRedHatはカーネルヘッダー取得用コマンドでカーネルヘッダーのバージョンを指定することができます。
しかしながら、Raspbery Pi OSは最新のカーネルヘッダーしか取得できません。
当社としては、API-TOOL(LNX)で動作確認済カーネルヘッダーの利用をお奨めします。
下記コマンドで、利用中のカーネルバージョンや、カーネルヘッダーのバージョンが確認できます。
dpkg -l | grep raspberrypi-kernel
1.以下URLから、希望するカーネルヘッダーを含む「debファイル」をダウンロードします。
https://archive.raspberrypi.org/debian/pool/main/r/raspberrypi-firmware/
2.ダウンロードした「debファイル」をインストールしたいRaspberry Pi OSにコピーして、以下コマンドを実行します。
sudo dpkg -i "debファイル名"
3.以下のコマンドで、Raspberry Pi OSで任意のカーネルヘッダーをインストールします。
sudo apt-get install raspberrypi-kernel-headers
1. debファイルを展開します。
2. 展開されたファイルのlib/moduleディレクトリ内にカーネルバージョンのフォルダがあります。
フォルダ名を、ご確認ください。