Linux kernel Linux 3.13.3头文件

我的问题似乎很简单，但我已经搜索了几十页，仍然没有找到足够的解决方案

我在虚拟机上使用32位Debian和linux 3.13.3内核，但没有安装linux标头。您可以很容易地假设，我非常需要它们来测试一些新的模块实现

首先我试过这个：

但不幸的是，这个问题仍然存在。（即编译期间/lib/modules/linux-3.13.3/build不存在）

替代方法如下：

它工作得很好，但问题是我不想将内核版本更改为linux-3.13.3-031303-generic_3.13.3-031303我需要的正是3.13.3版本

有人知道在哪里可以找到纯3.13.3标题吗？ 此外，如果这不是一个大问题，我将感谢最好的方法来安装它们

---

编辑：我忘了提到最简单的方法：显然，apt get不包含带有linux-headers-3.13.3的包。

这些说明如何？将示例更改为3.13.3。也可以这样做，但正如您在这里看到的，这些是3.13.3-031303-generic_3.13.3-031303的标题。有没有可能3.13.3[fullstop]版本的内核没有专用的头文件？