[packages/efi-boot-update.git] / shellia32.conf

#
# Configure a 32-bit EFI Shell as a boot option
#
# Note: most UEFI systems are 64-bit, so shellx64 is the right choice
#
# The shell can be obtained from: 
#    https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/Ia32/Shell.efi
#
# And should be manually placed at /boot/efi/EFI/SHELLX32.EFI
#
ENABLED=no
LABEL="EFI Shell"
BINARY=/EFI/SHELLX32.EFI
Commit	Line	Data
7a63766a JK	1	#
	2	# Configure a 32-bit EFI Shell as a boot option
	3	#
	4	# Note: most UEFI systems are 64-bit, so shellx64 is the right choice
	5	#
	6	# The shell can be obtained from:
	7	# https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/Ia32/Shell.efi
	8	#
	9	# And should be manually placed at /boot/efi/EFI/SHELLX32.EFI
	10	#
	11	ENABLED=no
	12	LABEL="EFI Shell"
	13	BINARY=/EFI/SHELLX32.EFI