質問: ### 前提・実現したいこと Raspiでカーネルモジュールを作成したいので環境構築をしています。 1.下記でヘッダーを入手しました sudo apt-get install raspberrypi-kernel-headers 2.サンプルのカーネルモジュールをBuildしたところ、エラーが出ました。 make[1]: *** /lib/modules/4.19.75-v7l+/build: そのようなファイルやディレクトリはありません. 中止. 3.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+:は消えていました。
回答: koisannさん、 "4.19.75-v7l+"のカーネルヘッダーでissueが上がってたみたいです。 https://github.com/raspberrypi/linux/issues/3279 修正されたようなので、最新のRaspbian (2020-02-13-raspbian-buster) を使ってみては、どうでしょうか?