Maybe they added a CUSTOM way to boot in EFI mode, from an optical media, but they certainly did not look at the EFI specs with regards to enabling generic UEFI boot.Īs you will understand, if every distro maintainer out there says Screw the specs, we're going to do it our own way, I'm not gonna run around and try to figure out what they did. It is missing a /EFI/BOOT/boot圆4.efi file, which is what the EFI specifications require (for x86_64, /EFI/BOOT/bootia32.efi for x86_32).
