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
