Jun 26, 2019 · Everything is pretty much automated in the Intel download. You're supposed to boot to the integrated EFI shell, mount the USB disk/key, and launch the startup.nsh script included in the download. Thing is, I tried with both a 4GB USB key and a larger 60GB USB disk, with poor results. Both have, of course, FAT32 filesystems.
Jan 21, 2015 · Hit “c” on the keyboard to drop to the GRUB shell. Input the following two lines, adapting all device and partition identifiers and kernel versions to your setup (GRUB has autocompletion!): linux (hd0,gpt5)/boot/vmlinuz-3.18.0-9-generic root=/dev/mmcblk0p5initrd (hd0,gpt5)/boot/initrd-3.18.0-9-generic.
RHEL 5 Installation Guide EFI Shell Guide; Red Hat 7.1 Itanium EFI Shell Guide; HP Knowledge Base: "UEFI Shell 'fs' devices gone after restore from image backup" OpenVMS: Firmware upgrades from a USB stick (on UEFI) SourceForge EFI Shell Development Documentation
Boot the PC and prepare the USB stick: In the USB stick create and format a FAT or FAT32 partition >= 10 MB. (I’ve created 500 MB FAT32 partition. I wouldn't recommend large partitions, who knows if the EFI shell will read every big partition.) Create the sub-folders for EFI boot. In the web there are two different structures: /boot/efi and /efi/boot. For time saving I’ve created both groups, it works. Make sure that, when you create the USB, you have "GPT partition scheme for UEFI computer" selected, under "Partition scheme and target system type". Boot your computer in UEFI mode, and enter the EFI BIOS to select the USB as your boot device; On the rEFInd screen select "Start EFI shell". At the 2.0 Shell > prompt type: bcfg boot dump EFI provides incentive fulfillment services to utility clients throughout the US. For over 30 years we have been delivering innovative, high-quality programs that provide real, measurable savings. Upstream, Midstream, or Downstream EFI can help you save.