FYI, there are 2 Debian Boot CDs with 32 bit UEFI support:
http://cdimage.debian.org/cdimage/unofficial/efi-development/upload4/
debian-wheezy-i386-efi-test4.iso and debian-wheezy-amd64-i386-MA-efi-test4.iso will usually boot just fine on 32 bit UEFI machines that have no legacy mode. Maybe Steve McIntyres work can be adapted to create 32 bit UEFI install media for Ubuntu.
PS: This is probably a duplicate of https://bugs.launchpad.net/ubuntu-cdimage/+bug/1025555
FYI, there are 2 Debian Boot CDs with 32 bit UEFI support:
http:// cdimage. debian. org/cdimage/ unofficial/ efi-development /upload4/
debian- wheezy- i386-efi- test4.iso and debian- wheezy- amd64-i386- MA-efi- test4.iso will usually boot just fine on 32 bit UEFI machines that have no legacy mode. Maybe Steve McIntyres work can be adapted to create 32 bit UEFI install media for Ubuntu.
PS: This is probably a duplicate of https:/ /bugs.launchpad .net/ubuntu- cdimage/ +bug/1025555