On Tuesday, 24 September 2019 09:50:44 BST I wrote: > The Gentoo Handbook says to create a small unformatted partition at the > beginning of the (primary?) disk, then to create a FAT-32 partition for > /boot, then whatever other partitions are required.
Another question answered: yes, it has to be the primary disk. I installed a small test system on another disk. It has its own FAT-32 /boot partition, in which I set up a similar directory structure to the main system's. Efibootmgr still insisted on adding the UEFI entry to the main set, in spite of my telling it to use the secondary disk. And the BIOS couldn't see the image on the secondary disk. The conclusion is that, at least on this motherboard, there is precisely one set of UEFI boot images, and it lives on the primary disk of the system. Well, I haven't yet worked out how much of it is on the disk and how much in BIOS storage. The point remains, however, that I can't spread boot images over several disks. -- Regards, Peter.