> So imho, for now, if we booted in bios mode we should install
> grub-pc + grub-efi-amd64-bin, run grub-install --target x86_64-efi,
> and then install grub-efi-amd64-signed.
We ought to be installing shim-signed, which pulls in grub-efi-amd64-signed as a dependency; and this will run grub-install --target x86_64-efi for us with the right options. Is there any reason to run grub-install --target x86_64-efi manually?
> So imho, for now, if we booted in bios mode we should install amd64-signed.
> grub-pc + grub-efi-amd64-bin, run grub-install --target x86_64-efi,
> and then install grub-efi-
We ought to be installing shim-signed, which pulls in grub-efi- amd64-signed as a dependency; and this will run grub-install --target x86_64-efi for us with the right options. Is there any reason to run grub-install --target x86_64-efi manually?