Denis 'GNUtoo' Carikli 92fbb1f82b 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>

2025-11-24 23:22:49 +01:00

..

depthcharge.scm

…

extlinux.scm

bootloader: Add device-tree-support? option.

2022-08-30 08:50:44 +02:00

grub.scm

bootloader: grub: Add grub-efi32-removable-bootloader.

2025-11-24 23:22:49 +01:00

u-boot.scm

gnu: bootloader: Add nanopi-r4s-rk3399 bootloader.

2025-11-03 12:44:46 -08:00