This website requires JavaScript.
Explore
Help
Sign In
TakeV
/
guix
Watch
1
Star
0
Fork
You've already forked guix
0
Code
Issues
Pull requests
Packages
Projects
Releases
Wiki
Activity
2045af8035
guix
/
gnu
/
bootloader
History
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
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