bootloader: grub: Add firmware setup entry.

* gnu/bootloader/grub.scm (grub-configuration-file): Add 'Firmware
setup' entry for EFI platform.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
This commit is contained in:
Brice Waegeneire 2019-12-12 20:53:06 +01:00 committed by Danny Milosavljevic
parent c9ea88734b
commit b0d09586b1
No known key found for this signature in database
GPG Key ID: E71A35542C30BAA5

@ -384,7 +384,13 @@ set timeout=~a~%"
submenu \"GNU system, old configurations...\" {~%")
#$@(map menu-entry->gexp old-entries)
(format port "}~%"))
#~()))))
#~())
(format port "
if [ \"${grub_platform}\" == efi ]; then
menuentry \"Firmware setup\" {
fwsetup
}
fi~%"))))
(computed-file "grub.cfg" builder))