diff options
| -rw-r--r-- | gnu/packages/firmware.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index a56c8f096b..affed3b823 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -185,7 +185,9 @@ by the b43-open driver of Linux-libre.") (define* (make-opensbi-package platform variant #:optional (arch "riscv64")) (package - (name (string-append "opensbi-" platform "-" variant)) + (name (string-replace-substring + (string-append "opensbi-" platform "-" variant) + "_" "-")) (version "0.5") (source (origin @@ -238,6 +240,9 @@ for platform-specific firmwares executing in M-mode.") (define-public opensbi-qemu-virt (make-opensbi-package "qemu" "virt")) +(define-public opensbi-qemu-sifive-u + (make-opensbi-package "qemu" "sifive_u")) + (define-public seabios (package (name "seabios") |