Update efi loaders url, and bundled .efi files

This commit is contained in:
Ramon Buldó 2015-09-06 19:48:17 +02:00
parent d69eae9e7c
commit c32811b3a9
2 changed files with 2 additions and 2 deletions

Binary file not shown.

View file

@ -10,11 +10,11 @@
# GNU General Public License for more details. # GNU General Public License for more details.
download_efi_shellv2(){ download_efi_shellv2(){
curl -k -o $1/shellx64_v2.efi https://svn.code.sf.net/p/edk2/code/trunk/edk2/ShellBinPkg/UefiShell/X64/Shell.efi curl -o $1/iso/EFI/shellx64_v2.efi https://raw.githubusercontent.com/tianocore/edk2/master/ShellBinPkg/UefiShell/X64/Shell.efi
} }
download_efi_shellv1(){ download_efi_shellv1(){
curl -k -o $1/shellx64_v1.efi https://svn.code.sf.net/p/edk2/code/trunk/edk2/EdkShellBinPkg/FullShell/X64/Shell_Full.efi curl -o $1/iso/EFI/shellx64_v1.efi https://raw.githubusercontent.com/tianocore/edk2/master/EdkShellBinPkg/FullShell/X64/Shell_Full.efi
} }
copy_efi_shells(){ copy_efi_shells(){