Add F5 Tools ---> Power ---> Reboot to EFI setup

diff --git a/INSTALL/grub/power.cfg b/INSTALL/grub/power.cfg
index 2b3bb35807da898660dee7433af2fcdfff00e75d..13b00cbfb208269f7b1bf93b5f31621dab6034bb 100644 (file)
--- 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 ...'