Subject: [bug#38580] [PATCH 0/1] Start BIOS setup from GRUB

From: Brice Waegeneire <[email-masked]>
Date: Thu, 12 Dec 2019 20:53:05 +0100

On EFI systems this patch allow one to start the firmware setup from GRUB.
This is the same behaviour as in NixOS.

Brice Waegeneire (1):
  bootloader: grub: Add firmware setup entry

 gnu/bootloader/grub.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

-- 
2.19.2