91shell_efi.cfg 153 Bytes EditWeb IDE 1 2 3 4 5 if [ "$grub_platform" = "efi" ]; then menuentry $"UEFI Shell (may not work with Secure Boot)" --id 'efishell' { chainloader /boot/shell.efi } fi
