1

How can you get the Linux-Headers for a different Kernel Version than the one installed on the system?(Debian) I searched the whole Web and couldn't find anything other than that you can download the Headers for you current running kernel, why is it so hard to get the Headers for a non running kernel?

I need the 4.16 headers to compile a LKM, but im running on 4.9.

4

1 回答 1

0

您可以从以下位置获取任何标准版本的内核头文件和源代码：

git 克隆https://github.com/torvalds/linux

或来自：https ://cdn.kernel.org/pub/linux/kernel/v4.x/

如果从 git repo 中提取，您将需要检查您希望构建的特定版本。在你的情况下：

git结帐 v4.16

于 2018-12-10T23:13:25.523 回答