1 submenu "Power" --class=debug_power --class=F5tool {
2 menuentry Reboot --class=debug_reboot --class=debug_power --class=F5tool {
3 echo -e '\n\nSystem is rebooting ... \n'
8 menuentry Halt --class=debug_halt --class=debug_power --class=F5tool {
9 echo -e '\n\nSystem is halting ... \n'
14 if [ "$grub_platform" != "pc" ]; then
15 menuentry 'Reboot to EFI setup' --class=debug_efisetup --class=debug_power --class=F5tool {
16 echo -e '\n\nRebooting to enter UEFI firmware setup ... \n'
22 menuentry 'Return to previous menu [Esc]' --class=vtoyret VTOY_RET {