How to install kernel headers in debian 9?

[sacke...@gmail.com]

Hello,

I've upgraded my debian-8 template to debian-9 (stretch). Now I want to install vmware player and it asks me where the kernel headers are located. I could not find them in /usr/src and I also can't find them via apt-cache search. Is there a way to install the kernel headers for Linux debian-9 4.8.12-12.pvops.qubes.x86_64?

Thanks!

[Holger Levsen]

did you search with "apt-cache search kernel headers"?
try "apt-cache search linux headers" instead :)


--
cheers,
Holger

[sacke...@gmail.com]

Thanks Holger!
But I only see headers for 4.9.0-2, but I need them for 4.8.12-12.pvops.qubes.x86_64 which probably is some qubes specific kernel. Maybe the qubesOS team has to publish the headers in the qubes repo because this special package is not included in normal OS header files...? Any ideas?

Regards,
a guy who loves qubesOS, but is not the best linux tinkerer

[Reg Tiangha]

On 04/19/2017 09:54 AM,

I'd actually like to know the answer to this too. I compile my own
kernels and in addition to a kernel and kernel-qubes-vm package, it also
creates a kernel-devel package and I'm wondering if that's what provides
the Qubes headers. The problem is that whenever I try to install it in
dom0, it spits out a perl error. I assume that means I'm missing a perl
package in dom0, but I don't know which one that might be. I haven't
really looked into it too much, though.

[sacke...@gmail.com]

I found this in the archive of the mailing list:

----------------
Currently kernel headers for default kernels are packaged only for
Fedora VMs (where you ca install it as kernel-devel package). If you
want to build some kernel module on Debian VM, you have those options:
1. Use kernel from Debian repository [1]
2. Extract kernel-devel[2] manually and use --kernelsourcedir option
3. Compile kernel manually

- From the above list, the first option surely works, but will result in
older kernel (currently Debian 8 uses 3.16 kernel). The other options
should also works, but I haven't tried.

[1] https://www.qubes-os.org/doc/managing-vm-kernel/#tocAnchor-1-1-3
[2]
http://yum.qubes-os.org/r3.1/current/vm/fc23/rpm/kernel-devel-4.1.13-9.pvops.qubes.x86_64.rpm

- --
Best Regards,
Marek Marczykowski-Górecki
Invisible Things Lab

----------------

It was posted by Marek which probably knows best :)