A recent kernel update seems to have misplaced the Kernel Headers.
VMWare needs these headers and cannot find them. Attempting to
run VMWARE gets the message:
Kernel headers for version 2.6.31.12-0.2-desktop were not found.
Does anyone have any idea where they might be hiding?
Chances are you want kernel-source- or kernel--devel- matching your running version. linux-kernel-headers is intended for compiling user space programs. When compiling drivers you want the source (which includes internal header files).