Re: UEFI PC?

[Samuel Thibault <sthibault@debian.org>]

Thomas Schmitt, le dim. 17 nov. 2019 20:42:37 +0100, a ecrit:
> The most obvious difference is in the two EFI System Partitions:
> 
>   $ cd /mnt/fat_hurd
>   $ find .
>   .
>   ./efi
>   ./efi/boot
>   ./efi/boot/bootia32.efi
> 
>   $ cd /mnt/fat_i386
>   $ find .
>   .
>   ./efi
>   ./efi/boot
>   ./efi/boot/bootia32.efi
>   ./efi/boot/grubia32.efi
>   ./efi/debian
>   ./efi/debian/grub.cfg

Yes, but that should only be needed for signed EFI booting (at least
that's what the code comments say).

> bootia32.efi in hurd has 278,528 bytes.
> In i386 it's 1,065,120 for bootia32.efi, which says "Microsoft" 53 times,

Yes, that's the signed shim. But we should be able to boot in EFI mode
without a signature.

> The file grub.cfg contains only the instruction to use the grub.cfg in
> the ISO filesystem:
>   search --file --set=root /.disk/info
>   set prefix=($root)/boot/grub
>   source $prefix/i386-efi/grub.cfg

Yes, that is expected, to make the scripts simpler.

Samuel