[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38580] [PATCH 0/1] Start BIOS setup from GRUB
From: |
Brice Waegeneire |
Subject: |
[bug#38580] [PATCH 0/1] Start BIOS setup from GRUB |
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
- [bug#38580] [PATCH 0/1] Start BIOS setup from GRUB,
Brice Waegeneire <=