system: Set kernel name for riscv64-linux.

* gnu/system.scm (system-linux-image-file-name): Add option for riscv64.
This commit is contained in:
Efraim Flashner 2022-03-07 22:47:27 +02:00
parent 027ce78933
commit 34ba6e0616
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351

@ -11,7 +11,7 @@
;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de> ;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de>
;;; Copyright © 2020, 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com> ;;; Copyright © 2020, 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com>
;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <jannek@gnu.org> ;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <jannek@gnu.org>
;;; Copyright © 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2020, 2022 Efraim Flashner <efraim@flashner.co.il>
;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be> ;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be>
;;; Copyright © 2021 raid5atemyhomework <raid5atemyhomework@protonmail.com> ;;; Copyright © 2021 raid5atemyhomework <raid5atemyhomework@protonmail.com>
;;; ;;;
@ -658,6 +658,7 @@ See \"(guix) operating-system Reference\" for more details.~%")))
((string-prefix? "arm" target) "zImage") ((string-prefix? "arm" target) "zImage")
((string-prefix? "mips" target) "vmlinuz") ((string-prefix? "mips" target) "vmlinuz")
((string-prefix? "aarch64" target) "Image") ((string-prefix? "aarch64" target) "Image")
((string-prefix? "riscv64" target) "Image")
(else "bzImage"))) (else "bzImage")))
(define (operating-system-kernel-file os) (define (operating-system-kernel-file os)