/usr/src/kernels/*/System.map file in kernel-devel deleted when building kernel modules with >= 3.5 kernel and dkms installed

Andre Robatino robatino at fedoraproject.org
Wed Sep 12 18:53:52 UTC 2012

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?

More information about the devel mailing list