[Bug 1429030] Re: netboot mini.iso doesn't support UEFI boot

[Naël]

@Elliot, can you give more details please? I don't know how to extract
files to the root of an image and obtain a new image. I'd like to try.

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to debian-installer in Ubuntu.
https://bugs.launchpad.net/bugs/1429030

Title:
  netboot mini.iso doesn't support UEFI boot

Status in debian-installer package in Ubuntu:
  Triaged

Bug description:
  The amd64 mini.iso (in at least trusty through current vivid) has an
  EFI boot partition, but it's empty. This renders the image unbootable
  on systems without BIOS boot enabled.

  This is easily worked around by copying {boot,grub}x64.efi from eg. a
  desktop image into the empty partition.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/debian-installer/+bug/1429030/+subscriptions