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.
