system: Add u-boot-pine64-plus installer.
[jackhill/guix/guix.git] / gnu / bootloader /
drwxr-xr-x   ..
-rw-r--r-- 4332 extlinux.scm
-rw-r--r-- 16911 grub.scm
-rw-r--r-- 5766 u-boot.scm