I am attempting to install the VMWare player in Fedora 19. I am running into the problem that multiple users have had where VMware player cannot find the kernel headers. I have installed the kernel-headers and kernel-devel packages through yum and the file that appears in /usr/src/kernels is:
3.12.8-200.fc19.x86_64
However, when I do uname -r my Fedora kernel version is:
3.9.5-301.fc19.x86_64
which is a different version. This seems to mean that when I point VMware player at the path of the kernels I get this error:
C header files matching your running kernel were not found.
Refer to your distribution's documentation for installation instructions.
How can I install the correct Kernel and where should I be pointing VMware if its not /usr/src/kernels/<my-kernel> ?