When building either host or guest additions for VirtualBox with dkms installed and a >= 3.5 kernel, the corresponding System.map file in /usr/src/kernels/* is deleted. I filed https://www.virtualbox.org/ticket/10847 but it was closed in the belief that this is not a VirtualBox bug. The reason I noticed it is that when updating kernel-devel, the missing file forces yum-presto to download the whole package. Can anyone reproduce this problem with any other type of kernel module? If so, what component should it be filed under? -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel