-menuentry Reboot --class=power_reboot {
- echo -e '\n\nSystem is rebooting ... \n'
- sleep 1
- reboot
-}
+submenu "Power" --class=debug_power --class=F5tool {
+ menuentry Reboot --class=debug_reboot --class=debug_power --class=F5tool {
+ echo -e '\n\nSystem is rebooting ... \n'
+ sleep 1
+ reboot
+ }
-menuentry Halt --class=power_halt {
- echo -e '\n\nSystem is halting ... \n'
- sleep 1
- halt
-}
+ menuentry Halt --class=debug_halt --class=debug_power --class=F5tool {
+ echo -e '\n\nSystem is halting ... \n'
+ 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 ...'
+ menuentry 'Return to previous menu [Esc]' --class=vtoyret VTOY_RET {
+ echo 'Return ...'
+ }
}