From 47d2bc527f121fde07a69c683767efa8089e6a98 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Sun, 22 Feb 2026 21:43:18 +0100
Subject: [PATCH] gnu: make-opensbi-package: Refresh package.

* gnu/packages/firmware.scm (make-opensbi-package): Indent.
[arguments]: Use G-Expressions.

Change-Id: Ic68c5fdc96629cad7c169cd865e8a7a9abd559c9
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
---
 gnu/packages/firmware.scm | 41 +++++++++++++++++++--------------------
 1 file changed, 20 insertions(+), 21 deletions(-)

diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index bf30854062..24e1fc8362 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -636,27 +636,26 @@ provide OpenFirmware functionality on top of an already running system.")
          '())
        (list python)))
     (arguments
-     `(#:tests? #f ; no check target
-       #:target #f ; Package produces firmware.
-       #:make-flags (list (string-append "PLATFORM=" ,platform)
-                          ,@(if (and (not (string-prefix? "riscv64"
-                                                          (%current-system)))
-                                     (string-prefix? "riscv64" arch))
-                                `("CROSS_COMPILE=riscv64-linux-gnu-")
-                                `("CC=gcc"))
-                          "FW_PAYLOAD=n"
-                          "V=1")
-       #:phases
-       (modify-phases %standard-phases
-         (delete 'configure)
-         (replace 'install
-           (lambda* (#:key outputs #:allow-other-keys)
-             (let ((out (assoc-ref outputs "out"))
-                   (bin (find-files "." "fw_.*\\.(elf|bin)$")))
-               (for-each
-                 (lambda (file)
-                   (install-file file out))
-                 bin)))))))
+     (list
+      #:tests? #f ; no check target
+      #:target #f ; Package produces firmware.
+      #:make-flags
+      #~(list (string-append "PLATFORM=" #$platform)
+              #$@(if (and (not (string-prefix? "riscv64" (%current-system)))
+                          (string-prefix? "riscv64" arch))
+                     `("CROSS_COMPILE=riscv64-linux-gnu-")
+                     `("CC=gcc"))
+              "FW_PAYLOAD=n"
+              "V=1")
+      #:phases
+      #~(modify-phases %standard-phases
+          (delete 'configure)
+          (replace 'install
+            (lambda* (#:key outputs #:allow-other-keys)
+              (for-each
+               (lambda (file)
+                 (install-file file #$output))
+               (find-files "." "fw_.*\\.(elf|bin)$")))))))
     (home-page "https://github.com/riscv-software-src/opensbi")
     (synopsis "RISC-V @acronym{SBI, Supervisor Binary Interface} implementation")
     (description