diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2025-11-14 10:47:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-11-24 23:22:49 +0100 |
| commit | 92fbb1f82b88f30f7457f5ff81a9cec4bf47804d (patch) | |
| tree | 915007bfd8c6ab09d44277a7a5e53cad04b323f1 /gnu/system | |
| parent | f89bbcb653e73640fb79d1f3b040fa3f613281b9 (diff) | |
bootloader: grub: Add grub-efi32-removable-bootloader.
* gnu/bootloader/grub.scm (grub-efi32-removable-bootloader): New variable.
Change-Id: Ia2f772484143cfeb9498f04fee89d57af83143d9
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions