From 1e1705ae3167c1e3eb149a7e30837b6fdca2aed1 Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <vagrant@debian.org>
Date: Sun, 29 Apr 2018 04:33:00 +0000
Subject: [PATCH 1/3] gnu: make-u-boot-package: Install 'SPL' files also.

* gnu/packages/bootloaders.scm (make-u-boot-package)[arguments]: Add 'SPL'
files to the files installed during custom 'install phase.
---
 gnu/packages/bootloaders.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 4350ff3a5..fc4570c2e 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -408,7 +408,7 @@ also initializes the boards (RAM etc).")
                       (libexec (string-append out "/libexec"))
                       (uboot-files (append
                                     (find-files "." ".*\\.(bin|efi|img|spl|itb|dtb)$")
-                                    (find-files "." "^MLO$"))))
+                                    (find-files "." "^(MLO|SPL)$"))))
                  (mkdir-p libexec)
                  (install-file ".config" libexec)
                  (for-each
-- 
2.17.0