]>
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 |