diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 36b6f61fb..8f54562cc 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -31,13 +31,20 @@ submenu 'Advanced install options ...' --hotkey=a { } fi -if @ENABLE_MEMTEST@; then submenu 'Utilities...' --hotkey=u { source /boot/grub/theme.cfg # Memtest (if any) - source /boot/grub/memtest.cfg + if [ "${grub_platform}" = "pc" ] && @ENABLE_MEMTEST@; then + source /boot/grub/memtest.cfg + fi + + # Firmware setup (UEFI) + if [ "${grub_platform}" = "efi" ]; then + menuentry "UEFI Firmware Settings" { + fwsetup + } + fi } -fi |