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

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

 

ダウンロードした「debファイル」のカーネルヘッダーのバージョンを再確認する方法

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

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