diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-03-07 22:47:27 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-03-07 22:53:58 +0200 |
| commit | 34ba6e0616a4f8cee672ea23a9ed6fbb1b155a4b (patch) | |
| tree | ebd71673953092fb08ca283b595151ed4b4d2dc8 | |
| parent | 027ce78933530020a2b1010a1ae9c73009301bc1 (diff) | |
| download | guix-patches-34ba6e0616a4f8cee672ea23a9ed6fbb1b155a4b.tar guix-patches-34ba6e0616a4f8cee672ea23a9ed6fbb1b155a4b.tar.gz | |
system: Set kernel name for riscv64-linux.
* gnu/system.scm (system-linux-image-file-name): Add option for riscv64.
| -rw-r--r-- | gnu/system.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 432330c915..dc980312ab 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -11,7 +11,7 @@ ;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de> ;;; Copyright © 2020, 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com> ;;; 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 raid5atemyhomework <raid5atemyhomework@protonmail.com> ;;; @@ -658,6 +658,7 @@ See \"(guix) operating-system Reference\" for more details.~%"))) ((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) |