26/38: system: system-linux-image-file-name: Set kernel name for riscv64-linux.

[guix-commits]

efraim pushed a commit to branch wip-riscv
in repository guix.

commit 984fa993858f368e01995c662838f14bedcd30de
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Tue Aug 31 10:26:41 2021 +0300

    system: system-linux-image-file-name: Set kernel name for riscv64-linux.
    
    * gnu/system.scm (system-linux-image-file-name): Add case for
    riscv64-linux.
---
 gnu/system.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index 80faaf9..a9a4cca 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -11,7 +11,7 @@
 ;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de>
 ;;; Copyright © 2020 Maxim Cournoyer <maxim.cournoyer@gmail.com>
 ;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <jannek@gnu.org>
-;;; Copyright © 2020 Efraim Flashner <efraim@flashner.co.il>
+;;; Copyright © 2020, 2021 Efraim Flashner <efraim@flashner.co.il>
 ;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be>
 ;;; Copyright © 2021 raid5atemyhomework <raid5atemyhomework@protonmail.com>
 ;;;
@@ -596,6 +596,7 @@ mapped-device '~a' may not be mounted by the bootloader.~%")
    ((string-prefix? "arm" target) "zImage")
    ((string-prefix? "mips" target) "vmlinuz")
    ((string-prefix? "aarch64" target) "Image")
+   ((string-prefix? "riscv64" target) "Image")
    (else "bzImage")))
 
 (define (operating-system-kernel-file os)