On Thu, 1 Jul 2021 09:41:27 -0500, Dale wrote: > > grub-mkconfig only reads the files, it is the make install step of > > kernel installation that takes care of copying the files to /boot > > with the correct version numbers. ISTR Dale prefers to copy the > > kernel files manually, which is why his System.map is not versioned. > I do copy mine manually.  It's how it was done when I first started > using Gentoo and I just stuck with it, it works.  It's just one > additional file.  Thing is, I may read up on the script way of doing > things.  It may help make dracut and grub-mkconfig happy.  Sometimes I > have to fiddle with names to get them both happy.  I suspect the script > tools handle that with ease.  make install names the files in a way that dracut and grub-mkconfig recognise. Just run make install after make modules install. You've let the makefile copy all the other files, you may as well let it handle the final two :) -- Neil Bothwick By the time you can make ends meet, they move the ends.