Re: [gentoo-user] can genkernel install files with different names?

[Peter Humphrey]

On Tuesday, 22 October 2019 21:34:53 BST Neil Bothwick wrote:
> On Tue, 22 Oct 2019 20:35:27 +0100, Mick wrote:
> > > If I trust the makefile to build the entire operating system kernel,
> > > build all the modules it needs and copy all those modules to the
> > > correct locations, I don't see why I can't let it copy one more file
> > > to /boot.
> >
> > I've forgotten, does 'make ... install' also copy the .config and
> > System.map files to boot, too?
>
> Yes. It also updates symlinks to all three if you are already using
> symlinks.

Make install doesn't use symlinks here. This is a UEFI box with /boot 
formatted FAT32, so the three files are copied, not linked to.

-- 
Regards,
Peter.