Age | Commit message (Expand) | Author |
---|---|---|
2018-09-14 | gnu: Rename "banana-pi" to "bananapi".... | Danny Milosavljevic |
2018-06-26 | bootloader: grub-efi: Identify as "GuixSD" instead of "grub".... | Marius Bakke |
2018-06-26 | bootloader: grub-efi: Support EFI directories relative to MOUNT-POINT.... | Marius Bakke |
2018-06-01 | bootloader: grub: Use 'with-extensions'.... | Ludovic Courtès |
2018-06-01 | bootloader: grub: Simplify 'svg->png'.... | Ludovic Courtès |
2018-05-29 | system: Add u-boot-puma-rk3399.... | Vagrant Cascadian |
2018-05-28 | file-systems: Remove 'title' field and add <file-system-label>.... | Ludovic Courtès |
2018-05-18 | system: Add u-boot-pine64-plus installer.... | Vagrant Cascadian |
2018-05-12 | bootloader: extlinux: Fix menu support with u-boot.... | Vagrant Cascadian |
2018-05-11 | system: Add u-boot-novena installer.... | Vagrant Cascadian |
2018-05-11 | system: Add wandboard installer.... | Vagrant Cascadian |
2018-05-11 | system: Add mx6cuboxi installer.... | Vagrant Cascadian |