Danny Milosavljevic e830c9d0b0 gnu: Rename "banana-pi" to "bananapi". ... * gnu/bootloader/u-boot.scm (u-boot-banana-pi-m2-ultra-bootloader): Rename to... (u-boot-bananapi-m2-ultra-bootloader): ...this. * gnu/packages/bootloaders.scm (u-boot-banana-pi-m2-ultra): Rename to... (u-boot-bananapi-m2-ultra): ...this. * gnu/system/install.scm (banana-pi-m2-ultra-installation-os): Rename to... (bananapi-m2-ultra-installation-os): ...this.		2018-09-14 21:31:24 +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	gnu: Rename "banana-pi" to "bananapi".	2018-09-14 21:31:24 +02:00