diff --git a/INSTALL/grub/power.cfg b/INSTALL/grub/power.cfg index 2b3bb358..13b00cbf 100644 --- a/INSTALL/grub/power.cfg +++ b/INSTALL/grub/power.cfg @@ -10,6 +10,14 @@ submenu "Power" --class=debug_power --class=F5tool { sleep 1 halt } + + if [ "$grub_platform" != "pc" ]; then + menuentry 'Reboot to EFI setup' --class=debug_efisetup --class=debug_power --class=F5tool { + echo -e '\n\nRebooting to enter UEFI firmware setup ... \n' + sleep 1 + fwsetup + } + fi menuentry 'Return to previous menu [Esc]' --class=vtoyret VTOY_RET { echo 'Return ...'