Debian 10 カーネルヘッダーパッケージバージョンの不一致

Debian 10 カーネルヘッダーパッケージバージョンの不一致

linux-image-4.19.0-16-amd64 パッケージのカーネルを実行する Debian 10 に linux-headers-4.19.0-16-amd64 をインストールしています。

SangomaでWANPIPEドライバをビルドし、/lib/modules/4.19.0-16-amd64/build/Makefileで見つけました。

VERSION = 2
PATCHLEVEL = 6
MAKEARGS := -C /usr/src/linux-headers-4.19.0-16-common O=/usr/src/linux-headers-4.19.0-16-amd64
MAKEFLAGS += --no-print-directory

したがって、WANPIPEドライバのインストールスクリプトはこれを2.6カーネルとして認識します。

Makefileがなぜこのように動作するのかについてのヒントはありますか?それとも単なるバグですか?

ありがとう

編集する:

パッケージlinux-headers-4.19.0-16-amd64には以下が含まれています。

/usr/src/linux-headers-4.19.0-16-amd64/Makefile

そしてシンボリックリンクがあります

/lib/modules/4.19.0-16-amd64/build-> /usr/src/linux-headers-4.19.0-16-amd64

そしてlinux-headers-4.19.0-16-common

/usr/src/linux-headers-4.19.0-16-common/Makefile

/lib/modules/4.19.0-16-amd64/source -> /usr/src/linux-headers-4.19.0-16-common

/lib/modules/(version)/source と /lib/modules/()/build は何に使われますか?

関連情報