[arch-releng] [PATCH] Copy UEFI Shell to (ISO)/EFI/boot/bootx64.efi

[Gerardo Exequiel Pozzi]

On 09/12/2012 11:32 AM, Keshav P R wrote:
> Hi all,
>           I created a minor patch (attached) to copy UEFI Shell to
> (ISO)/EFI/boot/bootx64.efi apart from setting up efiboot.img. With
> this change, creating a UEFI bootable USB is a simple task of
> extracting Archiso to FAT32 formatted USB and booting it. Without this
> change the user needs to use p7zip to extract files from efiboot.img .
> The shell binary is very small so this should not be an issue.
>
> I also added refind-efi-x86_64 to the list of packages in the ISO as
> this is required for providing a menu for EFISTUB booting.
>
> Regards.
>
> Keshav
Nice. Thanks you!, looks very good, I will push later.

-- 
Gerardo Exequiel Pozzi
\cos^2\alpha + \sin^2\alpha = 1