Re: [qubes-users] How to install kernel headers in debian 9?

2017-04-19 Thread sackerboerg
Am Mittwoch, 19. April 2017 12:10:20 UTC+2 schrieb Holger Levsen: > On Wed, Apr 19, 2017 at 11:42:16AM +0200, c...@company.com wrote: > > 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

Re: [qubes-users] How to install kernel headers in debian 9?

2017-04-19 Thread Holger Levsen
On Wed, Apr 19, 2017 at 11:42:16AM +0200, c...@company.com wrote: > 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 >

[qubes-users] How to install kernel headers in debian 9?

2017-04-19 Thread c...@company.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