Marius Bakke 683016907d bootloader: grub-efi: Identify as "GuixSD" instead of "grub". ...

* gnu/bootloader/grub.scm (install-grub-efi): Pass "--bootloader-id" to grub-install.

2018-06-26 17:27:40 +02:00

..

extlinux.scm

bootloader: extlinux: Fix menu support with u-boot.

2018-05-12 09:37:35 +02:00

grub.scm

bootloader: grub-efi: Identify as "GuixSD" instead of "grub".

2018-06-26 17:27:40 +02:00

u-boot.scm

system: Add u-boot-puma-rk3399.

2018-05-29 10:46:13 +02:00