efraim pushed a commit to branch wip-riscv
in repository guix.
commit b4998bbb3e9ab72d4fd8363d08eee71b926a51f0
Author: Efraim Flashner <[email protected]>
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 <[email protected]>
;;; Copyright © 2020 Maxim Cournoyer <[email protected]>
;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <[email protected]>
-;;; Copyright © 2020 Efraim Flashner <[email protected]>
+;;; Copyright © 2020, 2021 Efraim Flashner <[email protected]>
;;; Copyright © 2021 Maxime Devos <[email protected]>
;;; Copyright © 2021 raid5atemyhomework <[email protected]>
;;;
@@ -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)
