On Sun, Aug 14, 2011 at 12:24 PM, Adam Bishop <[log in to unmask]> wrote:

> From: Akemi Yagi [[log in to unmask]]

> I can confirm that the BOOTX64.EFI file is not on the installation
> media. To get around the issue for now, you might want to try the
> procedure documented here:
>
> http://docs.redhat.com/docs/en-US/Red_Hat_Enterprise_Linux/6/html-single/Installation_Guide/index.html#Making_Minimal_Boot_Media-UEFI

> Thank you, that page was exactly what I needed.  Didn't consider that I might need alternate boot media.
>
> Is there any known reason for this?  Is it undesirable for some reason to have UEFI available by default? (basically, are there any gotcha's I need to look out for?)
>
> Adam Bishop
> JANET(UK)

I'm afraid only the SL developers can answer your question (as to why
the EFI-related files were omitted). Will see if they are included in
6.1.

Akemi