I'm trying to start a 64 bits machine from USB where the EFI is only 32 bits compatible, which is a Lenovo Ideapad 100S.
When I boot on full 32 bits USB dongle (obtained from a
.iso), it works. But with the same revision in 64 bits, it doesn't.
To solve that, I'm following tutorials suggesting to modify a 64 bits usb key and to add a 32 bits EFI file in the
It doesn't work in 2018 with Debian.
A nowadays Debian install usb dongle contains many things called EFI.
/boot/grub/efi.img /boot/grub/ /boot/grub/x86_64-efi <-- a dir with many driver modules /efi/boot/bootx64.efi <-- the original file /efi/boot/bootia32.efi <-- the file added thanks to tutorials
So ether I really missed something, or boot disk have changed and I have to modify more.
So do you know which files are implicated in the EFI load-up sequence?