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

[Hartmut Figge]

Mick:

> I've forgotten, does 'make ... install' also copy the .config and
> System.map files to boot, too?

After looking into /boot, yes.

Hartmut