Description of problem:
If dkms is installed, and one is running a kernel >= 3.5, building VirtualBox host or guest modules results in the corresponding System.map file in /usr/src/kernels/* (which belongs to kernel-devel) being deleted. This can be most easily seen by running
ls -l /usr/src/kernels/*/System.map
both before and after. I filed https://www.virtualbox.org/ticket/10847 but the developer is of the opinion that it is not a VirtualBox bug. Since F16 still uses a 3.4.* kernel, it is not affected, but all newer Fedora versions are. I do not know if the problem is triggered by anything other than VirtualBox modules.
Version-Release number of selected component (if applicable):
dkms-2.2.0.3-4.fc18.noarch
How reproducible:
always
This problem may be fixed with the 3.8 kernel. It didn't happen in Rawhide with the 3.8.0-0.rc2.git2.1.fc19.x86_64 kernel (the first 3.8 kernel in Rawhide). If that continues, I'll adjust the Summary to "kernels 3.5, 3.6, and 3.7".