I wrote guixsd-install-0.16.0.x86_64-linux.iso to my USB drive and mounted it. I am trying to make the boot not get stuck.
I replaced efi/boot/bootx64.efi by Debian’s bootx64.efi. Still stuck. I deleted efi/boot/bootx64.efi. Still stuck. I changed the EFI partition’s GPT type code with gdisk from EF00 to 0700. Still stuck. I deleted the EFI partition. Now I can boot (but not from the USB drive, of course). I wrote guixsd-install-0.16.0.x86_64-linux.iso to my USB drive again. Boot gets stuck again. I did `sudo dd if=/dev/zero of=/dev/sdc2` to zero out the EFI partition. Now I can boot again (not from the Guix USB drive, of course). I wonder, what kind of FAT is the EFI partition using? Could it be the wrong kind of FAT? Regards, Florian
