[bug#70892] [PATCH v3 4/7] gnu: Add opensbi-for-visionfive2.

[Zheng Junjie]

* gnu/packages/firmware.scm (opensbi-for-visionfive2): New variable.

Change-Id: I27963937410a3900a63193ce2a1033ac20a79919
---
 gnu/packages/firmware.scm | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index 6f0c2da806..49cc8c1ee3 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -585,6 +585,20 @@ (define-public opensbi-qemu
     (description
      "This package contains OpenSBI firmware files for use with QEMU.")))
 
+(define-public opensbi-for-visionfive2
+  (package
+    (inherit opensbi-generic)
+    (name "opensbi-for-visionfive2")
+    (arguments
+     (substitute-keyword-arguments
+         (package-arguments opensbi-generic)
+       ((#:make-flags flags)
+        ;; visionfive2's u-boot need opensbi with the following flags.
+        ;; see 
https://docs.u-boot.org/en/latest/board/starfive/visionfive2.html
+        #~(cons* "FW_TEXT_START=0x40000000"
+                 "FW_OPTIONS=0"
+                 #$flags))))))
+
 (define-public seabios
   (package
     (name "seabios")
-- 
2.41.0