Unified Extensible Firmware Interface: Difference between revisions
(→Important UEFI Shell commands: wording & style) |
(explain the requirements for IA32 UEFI, see Talk:Unified Extensible Firmware Interface#Installation in 32-bit UEFI) |
||
Line 34: | Line 34: | ||
An x86_64 UEFI firmware does not include support for launching 32-bit EFI applications (unlike x86_64 Linux and Windows versions which include such support). Therefore the EFI application must be compiled for that specific firmware processor bitness/architecture. | An x86_64 UEFI firmware does not include support for launching 32-bit EFI applications (unlike x86_64 Linux and Windows versions which include such support). Therefore the EFI application must be compiled for that specific firmware processor bitness/architecture. | ||
{{Note|The official ISO does not support booting on 32-bit (IA32) UEFI systems, see [[#Booting 64-bit kernel on 32-bit UEFI]] for available workarounds.}} | {{Note|The official ISO does not support booting on 32-bit (IA32) UEFI systems, see [[#Booting 64-bit kernel on 32-bit UEFI]] for available workarounds. The installed system will require using a boot loader that supports IA32 UEFI, for example GRUB with the {{ic|i386-efi}} target.}} | ||
=== Checking the firmware bitness === | === Checking the firmware bitness === | ||
Line 356: | Line 356: | ||
} | } | ||
}} | }} | ||
Durring installation, in the [[Installation guide#Boot loader|boot loader installation step]], [[GRUB#Installation_2|install GRUB]] using the option {{ic|1=--target=i386-efi}}. | |||
== Testing UEFI in systems without native support == | == Testing UEFI in systems without native support == |
Revision as of 11:30, 19 April 2019
The Unified Extensible Firmware Interface (UEFI or EFI for short) is a new model for the interface between operating systems and firmware. It provides a standard environment for booting an operating system and running pre-boot applications.
It is distinct from the commonly used "MBR boot code" method followed for BIOS systems. See Arch boot process for their differences and the boot process using UEFI. To set up UEFI boot loaders, see Arch boot process#Boot loader.
UEFI versions
- UEFI started as Intel's EFI in versions 1.x.
- Later, a group of companies called the UEFI Forum took over its development, which renamed it as Unified EFI starting with version 2.0.
- Unless specified as EFI 1.x, EFI and UEFI terms are used interchangeably to denote UEFI 2.x firmware.
- Apple's EFI implementation is neither a EFI 1.x version nor UEFI 2.x version but mixes up both. This kind of firmware does not fall under any one (U)EFI specification and therefore is not a standard UEFI firmware. Unless stated explicitly, these instructions are general and some of them may not work or may be different in Apple Macs.
The latest UEFI specification can be found at https://uefi.org/specifications.
UEFI firmware bitness
Under UEFI, every program whether it is an OS loader or a utility (e.g. a memory testing app or recovery tool), should be a EFI application corresponding to the UEFI firmware bitness/architecture.
The vast majority of UEFI firmwares, including recent Apple Macs, use x86_64 UEFI firmware. The only known devices that use IA32 (32-bit) UEFI are older (pre 2008) Apple Macs, Intel Atom System-on-Chip systems (as on 2 November 2013)[1] and some older Intel server boards that are known to operate on Intel EFI 1.10 firmware.
An x86_64 UEFI firmware does not include support for launching 32-bit EFI applications (unlike x86_64 Linux and Windows versions which include such support). Therefore the EFI application must be compiled for that specific firmware processor bitness/architecture.
i386-efi
target.Checking the firmware bitness
The firmware bitness can be checked from a booted operating system.
From Linux
On distributions running Linux kernel 4.0 or newer, the UEFI firmware bitness can be found via the sysfs interface. Run:
$ cat /sys/firmware/efi/fw_platform_size
It will return 64
for a 64-bit (x86_64) UEFI or 32
for a 32-bit (IA32) UEFI. If the file does not exist, then you have not booted in UEFI mode.
From macOS
Pre-2008 Macs mostly have IA32 EFI firmware while >=2008 Macs have mostly x86_64 EFI. All Macs capable of running Mac OS X Snow Leopard 64-bit Kernel have x86_64 EFI 1.x firmware.
To find out the arch of the EFI firmware in a Mac, type the following into the Mac OS X terminal:
$ ioreg -l -p IODeviceTree | grep firmware-abi
If the command returns EFI32
then it is IA32 (32-bit) EFI firmware. If it returns EFI64
then it is x86_64 EFI firmware. Most of the Macs do not have UEFI 2.x firmware as Apple's EFI implementation is not fully compliant with UEFI 2.x specification.
From Microsoft Windows
64-bit versions of Windows do not support booting on a 32-bit UEFI. So, if you have a 32-bit version of Windows booted in UEFI mode, you have a 32-bit UEFI.
To check the bitness run msinfo32.exe
. In the System Summary section look at the values of "System Type" and "BIOS mode".
For a 64-bit Windows on a 64-bit UEFI it will be System Type: x64-based PC
and BIOS mode: UEFI
, for a 32-bit Windows on a 32-bit UEFI - System Type: x86-based PC
and BIOS mode: UEFI
. If the "BIOS mode" is not UEFI
, then Windows is not installed in UEFI mode.
Linux kernel config options for UEFI
The required Linux Kernel configuration options[2] for UEFI systems are:
CONFIG_RELOCATABLE=y CONFIG_EFI=y CONFIG_EFI_STUB=y CONFIG_X86_SYSFB=y CONFIG_FB_SIMPLE=y CONFIG_FRAMEBUFFER_CONSOLE=y
UEFI Runtime Variables Support (efivarfs filesystem - /sys/firmware/efi/efivars
). This option is important as this is required to manipulate UEFI runtime variables using tools like /usr/bin/efibootmgr
. The below config option has been added in kernel 3.10 and above.
CONFIG_EFIVAR_FS=y
UEFI Runtime Variables Support (old efivars sysfs interface - /sys/firmware/efi/vars
). This option should be disabled to prevent any potential issues with both efivarfs and sysfs-efivars enabled.
CONFIG_EFI_VARS=n
GUID Partition Table (GPT) config option - mandatory for UEFI support
CONFIG_EFI_PARTITION=y
EFI mixed-mode support - to boot a x64_64 kernel on a IA32 UEFI.
CONFIG_EFI_MIXED=y
UEFI variables
UEFI defines variables through which an operating system can interact with the firmware. UEFI boot variables are used by the boot loader and used by the OS only for early system start-up. UEFI runtime variables allow an OS to manage certain settings of the firmware like the UEFI boot manager or managing the keys for UEFI Secure Boot protocol etc. You can get the list using:
$ efivar --list
UEFI variables support in Linux kernel
Linux kernel exposes UEFI variables data to userspace via efivarfs (EFI VARiable FileSystem) interface (CONFIG_EFIVAR_FS
) - mounted using efivarfs
kernel module at /sys/firmware/efi/efivars
- it has no maximum per-variable size limitation and supports UEFI Secure Boot variables. Introduced in kernel 3.8.
Requirements for UEFI variable support
- Kernel should be booted in UEFI mode via EFISTUB (optionally using a boot manager) or by a UEFI boot loader (using either the EFI handover protocol or the UEFI LoadImage function), not via BIOS or CSM, or Apple's Boot Camp which is also a CSM.
- EFI Runtime Services support should be present in the kernel (
CONFIG_EFI=y
, check if present withzgrep CONFIG_EFI /proc/config.gz
). - EFI Runtime Services in the kernel SHOULD NOT be disabled via kernel cmdline, i.e.
noefi
kernel parameter SHOULD NOT be used. efivarfs
filesystem should be mounted at/sys/firmware/efi/efivars
, otherwise follow #Mount efivarfs section below.efivar
should list (option-l
/--list
) the UEFI variables without any error.
If UEFI Variables support does not work even after the above conditions are satisfied, try the below workarounds:
- If any userspace tool is unable to modify UEFI variable data, check for existence of
/sys/firmware/efi/efivars/dump-*
files. If they exist, delete them, reboot and retry again. - If the above step does not fix the issue, try booting with
efi_no_storage_paranoia
kernel parameter to disable kernel UEFI variable storage space check that may prevent writing/modification of UEFI variables.
efi_no_storage_paranoia
should only be used when needed and should not be left as a normal boot option. The effect of this kernel command line parameter turns off a safeguard that was put in place to help avoid the bricking of machines when the NVRAM gets too full. See FS#34641 for more information.Mount efivarfs
If efivarfs
is not automatically mounted at /sys/firmware/efi/efivars
by systemd during boot, then you need to manually mount it to expose UEFI variables to userspace tools like efibootmgr:
# mount -t efivarfs efivarfs /sys/firmware/efi/efivars
See efivarfs.txt for kernel documentation.
Userspace tools
There are few tools that can access/modify the UEFI variables, namely
- efivar — Library and Tool to manipulate UEFI variables (used by efibootmgr)
- efibootmgr — Tool to manipulate UEFI Firmware Boot Manager Settings
- uefivars — Dumps list of UEFI variables with some additional PCI related info (uses efibootmgr code internally)
- efitools — Tools for manipulating UEFI secure boot platforms
- Ubuntu's Firmware Test Suite — Test suite that performs sanity checks on Intel/AMD PC firmware
efibootmgr
You will have to install the efibootmgr package.
- If efibootmgr does not work on your system, you can reboot into #UEFI Shell and use
bcfg
to create a boot entry for the bootloader. - If you are unable to use
efibootmgr
, some UEFI firmwares allow users to directly manage UEFI boot entries from within its boot-time interface. For example, some firmwares have an "Add New Boot Option" choice which enables you to select a local EFI system partition and manually enter the EFI application location e.g.\EFI\refind\refind_x64.efi
. - The below commands use rEFInd boot manager as example.
To add a new boot option using efibootmgr you need to know three things:
- The disk containing the EFI system partition (ESP). E.g.:
/dev/sda
,/dev/nvme0n1
. - The partition number of the ESP on that disk. The
Y
in/dev/sdaY
or/dev/nvme0n1pY
. - The path to the EFI application (relative to the root of the ESP)
For example, if you want to add a boot option for /efi/EFI/refind/refind_x64.efi
where /efi
is the mount point of the ESP, run
$ findmnt /efi
TARGET SOURCE FSTYPE OPTIONS /efi /dev/sda1 vfat rw,flush,tz=UTC
In this example, this indicates that the ESP is on disk /dev/sda
and has partition number 1. The path to the EFI application relative to the root of the ESP is /EFI/refind/refind_x64.efi
. So you would create the boot entry as follows:
# efibootmgr --create --disk /dev/sda --part 1 --loader /EFI/refind/refind_x64.efi --label "rEFInd Boot Manager" --verbose
# efibootmgr --create --disk /dev/nvme0n1p1 --loader /EFI/refind/refind_x64.efi --label "rEFINd Boot Manager" --verbose
See efibootmgr(8) or efibootmgr README for more info.
\
as path separator but efibootmgr automatically converts UNIX-style /
path separators.UEFI Shell
The UEFI Shell is a shell/terminal for the firmware which allows launching EFI applications which include UEFI bootloaders. Apart from that, the shell can also be used to obtain various other information about the system or the firmware like memory map (memmap), modifying boot manager variables (bcfg), running partitioning programs (diskpart), loading UEFI drivers, editing text files (edit), hexedit etc.
Obtaining UEFI Shell
You can download a BSD licensed UEFI Shell from Intel's TianoCore UDK/EDK2 project:
- AUR package uefi-shell-gitAUR (recommended) - provides x86_64 Shell for x86_64 (64-bit) UEFI and IA32 Shell for IA32 (32-bit) UEFI - compiled directly from latest TianoCore EDK2 source.
- There are copies of Shell v1 and Shell v2 in the EFI directory on the Arch install media image.
- Precompiled UEFI Shell v2 binaries (may not be up-to-date).
- Precompiled UEFI Shell v1 binaries (not updated anymore upstream).
- Precompiled UEFI Shell v2 binary with bcfg modified to work with UEFI pre-2.3 firmware - from Clover EFI bootloader.
Shell v2 works best in UEFI 2.3+ systems and is recommended over Shell v1 in those systems. Shell v1 should work in all UEFI systems irrespective of the spec. version the firmware follows. More info at ShellPkg and this mail.
Launching UEFI Shell
Few Asus and other AMI Aptio x86_64 UEFI firmware based motherboards (from Sandy Bridge onwards) provide an option called "Launch EFI Shell from filesystem device"
. For those motherboards, download the x86_64 UEFI Shell and copy it to your EFI system partition as <EFI_SYSTEM_PARTITION>/shellx64.efi
.
Systems with Phoenix SecureCore Tiano UEFI firmware are known to have embedded UEFI Shell which can be launched using either F6
, F11
or F12
key.
Shell.efi
copied as (USB)/EFI/BOOT/BOOTx64.EFI
. This USB should come up in the firmware boot menu. Launching this option will launch the UEFI Shell for you.Important UEFI Shell commands
UEFI Shell commands usually support -b
option which makes output pause after each page. Run help -b
to list available internal commands. Available commands are either built into the shell or discrete EFI applications.
For more info see Intel Scripting Guide 2008 and Intel "Course" 2011.
bcfg
bcfg
modifies the UEFI NVRAM entries which allows the user to change the boot entries or driver options. This command is described in detail in page 83 (Section 5.3) of the UEFI Shell Specification 2.0 document.
- Try
bcfg
only ifefibootmgr
fails to create working boot entries on your system. - UEFI Shell v1 official binary does not support
bcfg
command. See #Obtaining UEFI Shell for a modified UEFI Shell v2 binary which may work in UEFI pre-2.3 firmwares.
To dump a list of current boot entries:
Shell> bcfg boot dump -v
To add a boot menu entry for rEFInd (for example) as 4th (numbering starts from zero) option in the boot menu:
Shell> bcfg boot add 3 FS0:\EFI\refind\refind_x64.efi "rEFInd"
where FS0:
is the mapping corresponding to the EFI system partition and FS0:\EFI\refind\refind_x64.efi
is the file to be launched.
To add an entry to boot directly into your system without a bootloader, configure a boot option using your kernel as an EFISTUB:
Shell> bcfg boot add N fsV:\vmlinuz-linux "Arch Linux" Shell> bcfg boot -opt N "root=/dev/sdX# initrd=\initramfs-linux.img"
where N
is the priority, V
is the volume number of your EFI system partition, and /dev/sdX#
is your root partition.
To remove the 4th boot option:
Shell> bcfg boot rm 3
To move the boot option #3 to #0 (i.e. 1st or the default entry in the UEFI Boot menu):
Shell> bcfg boot mv 3 0
For bcfg help text:
Shell> help bcfg -v -b
or:
Shell> bcfg -? -v -b
map
map
displays a list of device mappings i.e. the names of available file systems (FS0
) and storage devices (blk0
).
Before running file system commands such as cd
or ls
, you need to change the shell to the appropriate file system by typing its name:
Shell> FS0: FS0:\> cd EFI/
edit
edit
provides a basic text editor with an interface similar to nano, but slightly less functional. It handles UTF-8 encoding and takes care or LF vs CRLF line endings.
For example, to edit rEFInd's refind.conf
in the EFI system partition (FS0:
in the firmware),
Shell> edit FS0:\EFI\refind\refind.conf
Type Ctrl-E
for help.
UEFI drivers
UEFI bootable media
Create UEFI bootable USB from ISO
Follow USB flash installation media#BIOS and UEFI bootable USB.
Remove UEFI boot support from optical media
Most of the 32-bit EFI Macs and some 64-bit EFI Macs refuse to boot from a UEFI(X64)+BIOS bootable CD/DVD. If one wishes to proceed with the installation using optical media, it might be necessary to remove UEFI support first.
- Mount the official installation media and obtain the
archisolabel
as shown in the previous section.
# mount -o loop input.iso /mnt/iso
- Then rebuild the ISO, excluding the UEFI optical media booting support, using
xorriso
from libisoburn. Be sure to set the correct archisolabel, e.g. "ARCH_201411" or similar:
$ xorriso -as mkisofs -iso-level 3 \ -full-iso9660-filenames\ -volid "archisolabel" \ -appid "Arch Linux CD" \ -publisher "Arch Linux <https://www.archlinux.org>" \ -preparer "prepared by $USER" \ -eltorito-boot isolinux/isolinux.bin \ -eltorito-catalog isolinux/boot.cat \ -no-emul-boot -boot-load-size 4 -boot-info-table \ -isohybrid-mbr "/mnt/iso/isolinux/isohdpfx.bin" \ -output output.iso /mnt/iso/
- Burn
output.iso
to optical media and proceed with installation normally.
Booting 64-bit kernel on 32-bit UEFI
Official ISO (Archiso) does not support booting on 32-bit (IA32) UEFI systems (FS#53182) since it uses EFISTUB (via systemd-boot boot manager for menu) for booting the kernel in UEFI mode. To boot a 64-bit kernel with 32-bit UEFI you have to use a boot loader that does not rely on EFI boot stub for launching kernels.
Using GRUB
This section describes how to setup GRUB as the USB's UEFI bootloader.
- Create an editable USB Flash Installation. Since we are going to use GRUB, you only need to follow the steps up until the
syslinux
part
- Create a GRUB standalone image for 32-bit UEFI systems:
# echo 'configfile ${cmdpath}/grub.cfg' > /tmp/grub.cfg # grub-mkstandalone -d /usr/lib/grub/i386-efi -O i386-efi --modules="part_gpt part_msdos" --locales="en@quot" --themes="" -o "/mnt/usb/EFI/boot/bootia32.efi" "boot/grub/grub.cfg=/tmp/grub.cfg" -v
- Create
/mnt/usb/EFI/boot/grub.cfg
with the following contents (replaceARCH_YYYYMM
with the required archiso label e.g.ARCH_201507
):
- The archiso label can be aquired from the .iso file with
isoinfo
from cdrtools oriso-info
from libcdio. - The given configuration entries can also be entered inside a GRUB command-shell.
For the official ISO:
/mnt/usb/EFI/boot/grub.cfg
insmod part_gpt insmod part_msdos insmod fat insmod efi_gop insmod efi_uga insmod video_bochs insmod video_cirrus insmod font if loadfont "${prefix}/fonts/unicode.pf2" ; then insmod gfxterm set gfxmode="1024x768x32;auto" terminal_input console terminal_output gfxterm fi menuentry "Arch Linux archiso x86_64 UEFI USB" { set gfxpayload=keep search --no-floppy --set=root --label ARCH_YYYYMM linux /arch/boot/x86_64/vmlinuz archisobasedir=arch archisolabel=ARCH_YYYYMM add_efi_memmap initrd /arch/boot/intel_ucode.img /arch/boot/x86_64/archiso.img }
Durring installation, in the boot loader installation step, install GRUB using the option --target=i386-efi
.
Testing UEFI in systems without native support
OVMF for virtual machines
OVMF is a TianoCore project to enable UEFI support for Virtual Machines. OVMF contains a sample UEFI firmware and a separate non-volatile variable store for QEMU.
You can install ovmf from the extra repository.
It is advised to make a local copy of the non-volatile variable store for your virtual machine:
$ cp /usr/share/ovmf/x64/OVMF_VARS.fd my_uefi_vars.bin
To use the OVMF firmware and this variable store, add following to your QEMU command:
-drive if=pflash,format=raw,readonly,file=/usr/share/ovmf/x64/OVMF_CODE.fd \ -drive if=pflash,format=raw,file=my_uefi_vars.bin
For example:
$ qemu-system-x86_64 -enable-kvm -m 1G -drive if=pflash,format=raw,readonly,file=/usr/share/ovmf/x64/OVMF_CODE.fd -drive if=pflash,format=raw,file=my_uefi_vars.bin …
DUET for BIOS only systems
DUET was a TianoCore project that enabled chainloading a full UEFI environment from a BIOS system, in a way similar to BIOS OS booting. This method is being discussed extensively in https://www.insanelymac.com/forum/topic/186440-linux-and-windows-uefi-boot-using-tianocore-duet-firmware/. Pre-build DUET images can be downloaded from one of the repos at https://gitlab.com/tianocore_uefi_duet_builds/tianocore_uefi_duet_installer. Specific instructions for setting up DUET is available at https://gitlab.com/tianocore_uefi_duet_builds/tianocore_uefi_duet_installer/blob/master/Migle_BootDuet_INSTALL.txt . However, as of November 2018, the DUET code has been removed from TianoCore git repository.
You can also try https://sourceforge.net/projects/cloverefiboot/ which provides modified DUET images that may contain some system specific fixes and is more frequently updated compared to the gitlab repos.
Troubleshooting
Windows 7 will not boot in UEFI mode
If you have installed Windows to a different hard disk with GPT partitioning and still have a MBR partitioned hard disk in your computer, then it is possible that the firmware (UEFI) is starting its CSM support (for booting MBR partitions) and therefore Windows will not boot. To solve this merge your MBR hard disk to GPT partitioning or disable the SATA port where the MBR hard disk is plugged in or unplug the SATA connector from this hard disk.
Mainboards with this kind of problem:
- Gigabyte Z77X-UD3H rev. 1.1 (UEFI version F19e)
- The firmware option for booting "UEFI Only" does not prevent the firmware from starting CSM.
Windows changes boot order
If you dual boot with Windows and your motherboard just boots Windows immediately instead of your chosen EFI application, there are several possible causes and workarounds.
- Ensure Fast Startup is disabled in your Windows power options
- Ensure Secure Boot is disabled in your BIOS (if you are not using a signed boot loader)
- Ensure your UEFI boot order does not have Windows Boot Manager set first e.g. using #efibootmgr and what you see in the configuration tool of the UEFI. Some motherboards override by default any settings set with efibootmgr by Windows if it detects it. This is confirmed in a Packard Bell laptop.
- If your motherboard is booting the default boot path (
\EFI\BOOT\BOOTX64.EFI
), this file may have been overwritten with the Windows boot loader. Try setting the correct boot path e.g. using #efibootmgr. - If the previous steps do not work, you can tell the Windows boot loader to run a different EFI application. From a Windows Administrator command prompt:
# bcdedit /set "{bootmgr}" path "\EFI\path\to\app.efi"
- Alternatively, you can set a startup script in Windows that ensures that the boot order is set correctly every time you boot Windows.
- Open a command prompt with admin privlages. Run
bcdedit /enum firmware
and find your desired boot entry. - Copy the Identifier, including the brackets, e.g.
{31d0d5f4-22ad-11e5-b30b-806e6f6e6963}
- Create a batch file with the command
bcdedit /set "{fwbootmgr}" DEFAULT "{copied boot identifier}"
- Open gpedit.msc and under Local Computer Policy > Computer Configuration > Windows Settings > Scripts(Startup/Shutdown), choose Startup
- Under the Scripts tab, choose the Add button, and select your batch file
- Open a command prompt with admin privlages. Run
USB media gets struck with black screen
This issue can occur due to KMS issue. Try Disabling KMS while booting the USB.
On certain UEFI motherboards like some boards with an Intel Z77 chipset, adding entries with efibootmgr
or bcfg
from the UEFI Shell will not work because they do not show up on the boot menu list after being added to NVRAM.
This issue is caused because the motherboards can only load Microsoft Windows. To solve this you have to place the .efi file in the location that Windows uses.
Copy the bootx64.efi
file from the Arch Linux installation medium (FSO:
) to the Microsoft directory your ESP partition on your hard drive (FS1:
). Do this by booting into EFI shell and typing:
Shell> mkdir FS1:\EFI\Microsoft Shell> mkdir FS1:\EFI\Microsoft\Boot Shell> cp FS0:\EFI\BOOT\bootx64.efi FS1:\EFI\Microsoft\Boot\bootmgfw.efi
After reboot, any entries added to NVRAM should show up in the boot menu.
See also
- Wikipedia:UEFI
- UEFI Forum - contains the official UEFI Specifications - GUID Partition Table is part of UEFI Specification
- UEFI boot: how does that actually work, then? - A blog post by AdamW
- Linux Kernel x86_64 UEFI Documentation
- Intel's page on EFI
- Intel Architecture Firmware Resource Center
- Matt Fleming - The Linux EFI Boot Stub
- Matt Fleming - Accessing UEFI Variables from Linux
- Rod Smith - Linux on UEFI: A Quick Installation Guide
- UEFI Boot problems on some newer machines (LKML)
- LPC 2012 Plumbing UEFI into Linux
- LPC 2012 UEFI Tutorial : part 1
- LPC 2012 UEFI Tutorial : part 2
- Intel's TianoCore Project for Open-Source UEFI firmware which includes DuetPkg for direct BIOS based booting and OvmfPkg used in QEMU and Oracle VirtualBox
- FGA: The EFI boot process
- Microsoft's Windows and GPT FAQ
- Convert Windows x64 from BIOS-MBR mode to UEFI-GPT mode without Reinstall
- Create a Linux BIOS+UEFI and Windows x64 BIOS+UEFI bootable USB drive
- Rod Smith - A BIOS to UEFI Transformation
- EFI Shells and Scripting - Intel Documentation
- UEFI Shell - Intel Documentation
- UEFI Shell - bcfg command info