shellx64.conf

   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