me
/
guix
Archived
1
0
Fork 0
This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.
guix/gnu/bootloader
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