Re: UEFI question

From: Alexander Leidinger <Alexander_at_leidinger.net>
Date: Thu, 24 Nov 2022 07:39:59 UTC
  Quoting Eric Borisch <eborisch@gmail.com> (from Tue, 22 Nov 2022  
17:50:08 -0600):

> On Tue, Nov 22, 2022 at 1:50 PM Warner Losh <imp@bsdimp.com> wrote:
>
>> On Tue, Nov 22, 2022, 11:42 AM Alan Somers <asomers@freebsd.org> wrote:
>>  
>>
>>> I just noticed the same problem.  For mirrored installs, the
>>> 13.1-RELEASE installer only formats the efi partition on one hard
>>> disk.  Shouldn't it do both?
>>
>>        
>>        
>>       We go back and forth on this question.... I think we should,  
>> but others got grumpy when I suggested it. Maybe just all the  
>> drives in the zpool used for the BE?
>>
>>             
>>       Warner
>
>      
>     Just a “yes, please.” If you’re installing zfs root on a mirror  
> of disks, POLA suggests the required boot bits are on both disks, too.
>      

N disks instead of both disks please.

All disks which are part of a redundant root pool should get  
/everything/ what is necessary to boot in case the primary boot drive  
of the pool fails. Theoretically we only need the amount of boot  
redundancy to the level of redundancy degree of the pool (can't  
rememeber if we now have support to boot from raidz, I only have  
mirrors, but some of them with more than 2 disks), but as we can't  
predict which drive fails until the redundancy level is reached, the  
only option we have is to mirror the freebsd-boot partition.

If this is via gmirror or via independent partitions is another question.

If we want to provide a drive failure resistant boot experience (and  
the zfs pool types which offer redundancy make at least the users  
believe we want to do that), there is not really an option to not do  
that.

And while we're at it, I think we should mention in our upgrade  
instructions (e.g. src/Makefile and src/UPDATING) how to update the  
EFI parts too.

Bye,
Alexander.
-- 
http://www.Leidinger.net Alexander@Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org    netchild@FreeBSD.org  : PGP 0x8F31830F9F2772BF