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

#
# Configure an EFI Shell as a boot option
#
# The shell can be obtained from: 
#    https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/X64/Shell.efi
#
# And should be manually placed at /boot/efi/EFI/SHELLX64.EFI
#
ENABLED=yes
LABEL="EFI Shell"
BINARY=/EFI/SHELLX64.EFI
Commit	Line	Data
7a63766a JK	1	#
	2	# Configure an EFI Shell as a boot option
	3	#
	4	# The shell can be obtained from:
	5	# https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/X64/Shell.efi
	6	#
	7	# And should be manually placed at /boot/efi/EFI/SHELLX64.EFI
	8	#
	9	ENABLED=yes
	10	LABEL="EFI Shell"
	11	BINARY=/EFI/SHELLX64.EFI