[bug#73354] [PATCH] gnu: opensbi: Update to 1.5.1.

[Zheng Junjie <zhengjunjie@iscas.ac.cn>]

* gnu/packages/firmware.scm (make-opensbi-package): Update to 1.5.1.

Change-Id: Ia70e7619d0b4064917b1595509bad543044830f2
---
 gnu/packages/firmware.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index 7911cb3203..fe6c1822fa 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -10,7 +10,7 @@
 ;;; Copyright © 2021 Petr Hodina <phodina@protonmail.com>
 ;;; Copyright © 2022, 2023 Maxim Cournoyer <maxim.cournoyer@gmail.com>
 ;;; Copyright © 2023 Foundation Devices, Inc. <hello@foundationdevices.com>
-;;; Copyright © 2023 Zheng Junjie <873216071@qq.com>
+;;; Copyright © 2023, 2024 Zheng Junjie <873216071@qq.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -508,7 +508,7 @@ (define-public openbios-qemu-ppc
 (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
   (package
     (name name)
-    (version "1.3.1")
+    (version "1.5.1")
     (source
      (origin
        (method git-fetch)
@@ -517,7 +517,7 @@ (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
              (commit (string-append "v" version))))
        (file-name (git-file-name "opensbi" version))
        (sha256
-        (base32 "01pr7fyg3gcb5pj6d48w2an3m4mfjs9b398x31drqxwqcaz0zn94"))))
+        (base32 "0mfjb9jzrmc6chsr16bjrfann67qjxiigz8q42ndf9lrp6nyigd9"))))
     (build-system gnu-build-system)
     (native-inputs
      (append

base-commit: 610b395424c02274800d85585cb542ad66d9afea
prerequisite-patch-id: a3168ad7aa6dcfc751b9e3b5bb515db5acbf28ac
prerequisite-patch-id: d0d49144505c4858478511c2ef2f3b62ab24b2d0
prerequisite-patch-id: d3f1f3c7149847618ab708519eaf486532aa8a4b
prerequisite-patch-id: 02b90f764222a30d0bf32bc72624dc34c4db6bf1
-- 
2.45.2