shellia32.conf

   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