04/04: gnu: Add support for aarch64's compiled kernel.

[Efraim Flashner]

efraim pushed a commit to branch master
in repository guix.

commit fd900d68a519938e4a5064fcede5da81728d32b1
Author: Efraim Flashner <address@hidden>
Date:   Fri Jul 21 18:07:19 2017 +0300

    gnu: Add support for aarch64's compiled kernel.
    
    * gnu/packages/linux.scm (linux-libre)[arguments]: Add to the regex to
    find and install the aarch64-linux kernel.
    * gnu/system.scm (system-linux-image-file-name): Add entry for aarch64.
---
 gnu/packages/linux.scm | 2 +-
 gnu/system.scm         | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 94314d3..c116716 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -340,7 +340,7 @@ for ARCH and optionally VARIANT, or #f if there is no such 
configuration."
                     (kmod   (assoc-ref (or native-inputs inputs) "kmod")))
                ;; Install kernel image, kernel configuration and link map.
                (for-each (lambda (file) (install-file file out))
-                         (find-files "." 
"^(\\.config|bzImage|zImage|vmlinuz|System\\.map)$"))
+                         (find-files "." 
"^(\\.config|bzImage|zImage|Image|vmlinuz|System\\.map)$"))
                ;; Install device tree files
                (for-each (lambda (file) (install-file file dtbdir))
                          (find-files "." "\\.dtb$"))
diff --git a/gnu/system.scm b/gnu/system.scm
index 998bd68..746c511 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -392,6 +392,7 @@ from the initrd."
   (cond
    ((string-prefix? "arm" (%current-system)) "zImage")
    ((string-prefix? "mips" (%current-system)) "vmlinuz")
+   ((string-prefix? "aarch64" (%current-system)) "Image")
    (else "bzImage")))
 
 (define (operating-system-kernel-file os)