Raspiカーネルモジュール作成 ヘッダーのバージョンが合わない

Question

前提・実現したいこと

Raspiでカーネルモジュールを作成したいので環境構築をしています。

１．下記でヘッダーを入手しました
sudo apt-get install raspberrypi-kernel-headers

２．サンプルのカーネルモジュールをBuildしたところ、エラーが出ました。

make[1]: *** /lib/modules/4.19.75-v7l+/build: そのようなファイルやディレクトリはありません. 中止.

３．Raspiのカーネルのバージョンを確認

$ uname -r
4.19.75-v7l+

★　Raspiのカーネルとaptで入手したヘッダーのバージョンが不一致のようです。
★　使用しているカーネルのカーネルモジュールを作成したいのです。どうすればバージョンを一致させることが出来るのでしょうか？

試したこと

カーネルを入手してみると良いかもとあったので実行してみました。

sudo apt update
sudo apt install raspberrypi-kernel

インストール中に別なshellでmoduleを確認したところ、ロードしているようでした。

pi@raspi4:/lib/modules $ ls 4*
4.19.75+:
kernel modules.builtin modules.dep.bin modules.softdep

しかし、apt終了後同様の確認を行ったところ、4.19.75+:は消えていました。

Answer 1

koisannさん、

"4.19.75-v7l+"のカーネルヘッダーでissueが上がってたみたいです。
https://github.com/raspberrypi/linux/issues/3279

修正されたようなので、最新のRaspbian (2020-02-13-raspbian-buster) を使ってみては、どうでしょうか？

Comments

[koisann]

ヘッダー側のバージョンを下げると考えていましたが、ヘッダーが最新になったのでカーネル側のバージョンを最新にすることで解決できました。
有難うございました。解決です。