Ask Your Question

Kernel Headers issue on Fedora 18 64 bit using VMware Workstation 9.0.1

asked 2013-01-18 11:41:31 -0600

gtno gravatar image

updated 2014-09-28 08:47:55 -0600

mether gravatar image

I have been having all sorts of issues getting this distro installed. I have run the following commands:

yum update kernel, 
yum install gcc make binutils, 
yum install kernel-headers kernel-devel

My current kernel version is 3.7.2-201.fc18.x86_64 I checked the header version and it was same.

I verified this by running uname -r followed by rpm -qa | grep kernel-

However, when I try to run /usr/bin/ it is not able to detect the path to kernel header files. I've tried to manually enter /usr/src/kernels/3.7.2-201.fc18.x86_64/include but this wasn't valid file path.

Any suggestions would be of great help as I am not finding any new information from browsing Google searches and forums.

edit retag flag offensive close merge delete


this is not an issue with Fedora 18 or Kernel its vmware who haven't updated their "vmware tools" for new kernel versions

Akshay gravatar imageAkshay ( 2013-01-18 21:38:09 -0600 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2013-01-18 22:14:18 -0600

gtno gravatar image

updated 2013-01-23 11:58:35 -0600

Shant Karakashian answered this here: He wrote: The following will fix the problem by copying the version.h to the folder: cp /usr/include/linux/version.h /lib/modules/3.7.2-201.fc18.x86_64/build/include/linux/ For me (YMMV), this gets past the headers path issue but fails later. I find that if I install the tools but reboot instead of running the config script, then apply Shant's fix and run the script it all works fine.

edit flag offensive delete link more


This failed for me on Player 4.0.6 / Fedora 18 Live installed to HD (make, gcc, kernel-headers etc updated to 3.8.3-203). The proceeded but most of the modules failed to compile and the server was also not detected. So not much use having the tools.

moberh gravatar imagemoberh ( 2013-03-22 02:43:03 -0600 )edit

Question Tools


Asked: 2013-01-18 11:41:31 -0600

Seen: 22,338 times

Last updated: Jan 23 '13