Hi, meanwhile i learned that "i686" means 32 bit.
So i downloaded guixsd-install-0.16.0.x86_64-linux.iso and see indeed the boot program for 64 bit x86 in the EFI partition: -rwxr-xr-x 1 root root 132608 Dec 5 16:59 /mnt/fat/efi/boot/bootx64.efi >From Florian's reports i cannot tell which ISO he used as base for repacking. Maybe one should distinguish the ISOs by their Volume Id. Like: GUIXSD_IMAGE_I686 GUIXSD_IMAGE_X86_64 Have a nice day :) Thomas
